トランザクション

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

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

04eadfdff1141eaa0cbc2aa6dd97f5954c1fe799baf772b3656ed39182c50215cf403cfad4dc94b77d1e7c64a2518eb2c337d597998dd8b925f00478ed639f34