トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

bd70a9f8e516410fd306c576d10bfec3eb0ce08ea5d49560ec31bae588a145a9 OP_CHECKSIG

20bd70a9f8e516410fd306c576d10bfec3eb0ce08ea5d49560ec31bae588a145a9ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

22cf16bef99fbea50bd95742c5b9a5017d5b0b76b39c600398d79ddfc5814d01

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 22cf16bef99fbea50bd95742c5b9a5017d5b0b76b39c600398d79ddfc5814d01
2. TapBranch(22cf16be…c5814d01, 46c7eccf…1725e9fa) = 6e0e67986a2d3808b38f5a03c3c7916ec3462c0031d14b0e89876efe882bef2f

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

6e0e67986a2d3808b38f5a03c3c7916ec3462c0031d14b0e89876efe882bef2f

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

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

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

06e4d8aaa569a8601a09b8e19a747e8f34cbb0e33038b6c2a42846aacf79698b527a84400ae7949371e0f2e2237f9ac6574b2b2edad87d2e4cb7f94d880e4549