トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

8fb47e18831e75a607251a28fbd3bfae77fe44b44117e1b8dcf9b8551833be35 OP_CHECKSIG

208fb47e18831e75a607251a28fbd3bfae77fe44b44117e1b8dcf9b8551833be35ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

e984fb1482134d935525fdd842d773d16fef7ea11a8ac00b4eaef1b922b23497

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = e984fb1482134d935525fdd842d773d16fef7ea11a8ac00b4eaef1b922b23497
2. TapBranch(e984fb14…22b23497, 46c7eccf…1725e9fa) = 47bcdf1a572d6057f578eccac217ea898801078f6f8b4d4e424bb6cc327cc425

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

47bcdf1a572d6057f578eccac217ea898801078f6f8b4d4e424bb6cc327cc425

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

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

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

d4648d7ebafda590f9581f494af4b9ad35872f4f00933e88eab2e963af16dfc7621d107cd7171b83c07e93ce76cc9077f835957d1d819f35a932c7023cc0bbb1