トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

c759d779d7878570f522615747e27f413bd28cf3cd01ee16af4abd3b6a311ecc OP_CHECKSIG

20c759d779d7878570f522615747e27f413bd28cf3cd01ee16af4abd3b6a311eccac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

9b5789701bbe969458659e5b2b85fd48d3f4cf9b636de1da490787b355b8a22f

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 9b5789701bbe969458659e5b2b85fd48d3f4cf9b636de1da490787b355b8a22f
2. TapBranch(9b578970…55b8a22f, 46c7eccf…1725e9fa) = 7d249529f96530d5189d626a1276ff348f01aefb3beab015075875365dd82351

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

7d249529f96530d5189d626a1276ff348f01aefb3beab015075875365dd82351

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

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

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

f83c2e5a5720cf1bd27dd5d251dd94f7b8e66af84b24b55e2eadf66ac9656b25ee19b55e17c2f2b71a94f8ab4a401195ff487e8b194682275fc727128d54ef34