トランザクション

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

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

1fa59009bdcf764cdcd69c9d027aeab460498e296d8fcf49314c4225d6ad2dddf56879d01d74993b696981d3fad6426686cc691936fad0b0a16a8cba51cf3b0d