トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

cfa96cba6ca71acb4ae688f9cfeb18fca41d599999adf0edfa7c1f8cae500bef OP_CHECKSIG

20cfa96cba6ca71acb4ae688f9cfeb18fca41d599999adf0edfa7c1f8cae500befac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

ac71a81362d420f36eabd3283d516a51755755a324ca256ad32351bf2e2da8df

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = ac71a81362d420f36eabd3283d516a51755755a324ca256ad32351bf2e2da8df
2. TapBranch(ac71a813…2e2da8df, 46c7eccf…1725e9fa) = 58b3f6ef6422060dcd6bb488389455235d4aa834c89bfde6aa9a9a2953abbc28

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

58b3f6ef6422060dcd6bb488389455235d4aa834c89bfde6aa9a9a2953abbc28

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

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

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

4a6f78a02da165800cc55d84348aaec5ebbb1b603359651e17a6c288f83d06a09d2572719fd1c608f024f6c95c3fa3824f1ac8ed3a0f064cfeae1547143819cb