トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

d3f21adc827d241d216b8d2e8a0de6d1e94ce24e2d00a436dc24094bfd930059 OP_CHECKSIG

20d3f21adc827d241d216b8d2e8a0de6d1e94ce24e2d00a436dc24094bfd930059ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

a59353c4c7cd7108bea8f3ac85d5ef864bbf14765829c404facbb3318144a86a

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = a59353c4c7cd7108bea8f3ac85d5ef864bbf14765829c404facbb3318144a86a
2. TapBranch(a59353c4…8144a86a, 46c7eccf…1725e9fa) = 1dd524d0de64c76aa98e5173ed87151ec2afe18e69279babdf0f23934119f4eb

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

1dd524d0de64c76aa98e5173ed87151ec2afe18e69279babdf0f23934119f4eb

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

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

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

d7e3d5a2ebcf34d61494a0ba1b45f071f9d2a7ce5d90f4f3ed4e8ba73b9c2f3764c60f7f5b2907a97690200e612e7ff266fa649d946cc881954d1cdd5a958d47