トランザクション

入力 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 以上）。

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

1f6ad78259cc1a9c47705b35ae51754ea6134dd25f191061910cfff9d1989ded05f534a991be85a2f69d5c1c729bde72d49759a6a333e8aed512c4b10db990d0