トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

96cf471365e5a8b3b7c9289f08e2d3f758d83bd2ba0bec4e502e90264397d20f OP_CHECKSIG

2096cf471365e5a8b3b7c9289f08e2d3f758d83bd2ba0bec4e502e90264397d20fac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

0e58f3f924a2b4d6add0501e006853af42d30bd40c8770a33db2d276de4626b9

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 0e58f3f924a2b4d6add0501e006853af42d30bd40c8770a33db2d276de4626b9
2. TapBranch(0e58f3f9…de4626b9, 46c7eccf…1725e9fa) = 58f5d67677c9b28a2e644b0935c6115f80fe6809dc744a6df2f0a3dbb53d6add

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

58f5d67677c9b28a2e644b0935c6115f80fe6809dc744a6df2f0a3dbb53d6add

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

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

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

3f20d5c27898648783cf4ba416e4c21fadfcdc633f4933fa737d4f8f471f52b87782c20827c65a8c59a5c93014bb8975105dfd5b321cb9b2020229be8c372c61