トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

e63c98f514e4b746c02154baa3c039bb6f63d7905abe00a8e9d417b57a6387f6 OP_CHECKSIG

20e63c98f514e4b746c02154baa3c039bb6f63d7905abe00a8e9d417b57a6387f6ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

51f9ac92b702200412f1147ab16e9d119eb701c8496357c82ec47ddd19e5f871

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 51f9ac92b702200412f1147ab16e9d119eb701c8496357c82ec47ddd19e5f871
2. TapBranch(51f9ac92…19e5f871, 46c7eccf…1725e9fa) = 9cd8cb793839973438b81daa5a3f7961255f40d6ee5603c4b5372982edbd06a7

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

9cd8cb793839973438b81daa5a3f7961255f40d6ee5603c4b5372982edbd06a7

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

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

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

8b5edb1f357f655891fd900180f309edc4489a91ebf94a5fb52999ce01937d2f34fa9f507817708a56bb7dc1e55edb98524fa2e904c05591474c8fb8d7216ba4