トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

96e20e408fb8f57cc05cfcac9145d6be6935e485b13adfe7e8d21668623045a3 OP_CHECKSIG

2096e20e408fb8f57cc05cfcac9145d6be6935e485b13adfe7e8d21668623045a3ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

9df93f193fe915a79a2d2594e9560ced4f338fe78e484ee3e45c724570469b32

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 9df93f193fe915a79a2d2594e9560ced4f338fe78e484ee3e45c724570469b32
2. TapBranch(9df93f19…70469b32, 46c7eccf…1725e9fa) = a4d121545d548d78ca6b7c8945f9d4eff75b5cc059b936f712a8fdfaa81b30c1

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

a4d121545d548d78ca6b7c8945f9d4eff75b5cc059b936f712a8fdfaa81b30c1

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

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

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

8a304c527c0a8a15c2021cf462705905da843f8e02fc2dae376a3b51c87b3b77deeb8e2265f5370ca89adfdee40235b1ca5a3475a014a43f104c1a0a04dc777b