トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

09ed19b391f76972678835bd874040d7baa373cbf18d045dba93301c12980685 OP_CHECKSIG

2009ed19b391f76972678835bd874040d7baa373cbf18d045dba93301c12980685ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

4f918ecb5aabe985b22c3598b86360aa13acb1c13e76fec6883007936e2a0c06

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 4f918ecb5aabe985b22c3598b86360aa13acb1c13e76fec6883007936e2a0c06
2. TapBranch(4f918ecb…6e2a0c06, 46c7eccf…1725e9fa) = f03a98a643863cd857475d437c9012c93117d3816a54338d614fbf9dd56429d4

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

f03a98a643863cd857475d437c9012c93117d3816a54338d614fbf9dd56429d4

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

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

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

01bc5cd8df381cc0be191127b551d0fb1ca75852a6b62bf56057a18d08c07acbcdb36465d70f992c30aff03a497a5d67006ac050eda45abc9dc3d70bdbb34d92