トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

169d71d9ba464e9f5b2ebfbda7955a4ba152493aad71532a8bd4f05610581af9 OP_CHECKSIG

20169d71d9ba464e9f5b2ebfbda7955a4ba152493aad71532a8bd4f05610581af9ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

f9f8d31cb4fbef5d8926655e83929dcbf1faabb098710c1ac317be9862dd01eb

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = f9f8d31cb4fbef5d8926655e83929dcbf1faabb098710c1ac317be9862dd01eb
2. TapBranch(f9f8d31c…62dd01eb, 46c7eccf…1725e9fa) = aee8dcf025c30bc096d3bee625a7bd664d9b44735fd9c754a5df57e2c4c588ba

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

aee8dcf025c30bc096d3bee625a7bd664d9b44735fd9c754a5df57e2c4c588ba

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

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

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

63fb9dfdccd50cc8ca429a859190f67a4407cbc2c435294c5ee7bb63fa84ada7e4fe44e9814c30c439cc0df02e6475900feaae88dcbc4bf35cae28ea0a5d62ef