トランザクション

入力 0 の P2MR スクリプトパス支出

ノードはこの支出を次のように検証します：公開されたリーフをハッシュし、コントロールブロック内の Merkle パスをたどってルートまで計算し、そのルートが出力の 32 バイトのウィットネスプログラムと等しいことを求めます。このページでも同じ手順で計算し直しています。

リーフバージョン

0xc0

リーフスクリプト

121071bc2692100d49799e370fe4cbcc5b4132e1690a9d81e70d6929cf96c16b OP_CHECKSIG

20121071bc2692100d49799e370fe4cbcc5b4132e1690a9d81e70d6929cf96c16bac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

コントロールバイトの最下位ビット

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

9ecf0b5214cc2b3c5e09b7494d09f78463f72bfb6c01548a7b5616ee757e4537

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 9ecf0b5214cc2b3c5e09b7494d09f78463f72bfb6c01548a7b5616ee757e4537
2. TapBranch(9ecf0b52…757e4537, 46c7eccf…1725e9fa) = 5e4aab406ea8d2db59a54435392ec331fe29136c36c55937eb8b775149a5a56a

出力のウィットネスプログラム

5e4aab406ea8d2db59a54435392ec331fe29136c36c55937eb8b775149a5a56a

✓ 一致：公開されたリーフは、この出力がコミットしているものです。

リーフスクリプトは実行されました（リーフバージョン 0xc0、深さ 1 以上）。

スクリプトに渡されたスタック要素

4ca14f0e0deafdd797a8a5aebe8450baf42b2f32f61579c5973712d243aa8110aea8f8f11d9f55f9e885679340e1d87cd0604268a786350fb73c0bdd90543192