トランザクション

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

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

f5d66aa857b5d78e8c8d811cd4bee3e6a99e80f2b44c697f212504aa4825670c8848ddeec2693f217a90a93a34b0e762237c396afef4e33c18fa35b7bf19af8f