トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

bf8b980eaa8d4c05c9ed50ddc18976a62844d12e67af98aea094af1cca1530e3 OP_CHECKSIG

20bf8b980eaa8d4c05c9ed50ddc18976a62844d12e67af98aea094af1cca1530e3ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

77198d2adab74411cc5c83a990e6c0567a73f716fab9f2ed027344942842199e

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 77198d2adab74411cc5c83a990e6c0567a73f716fab9f2ed027344942842199e
2. TapBranch(77198d2a…2842199e, 46c7eccf…1725e9fa) = 3d5e53851ca77cc12bd958d9a08bbbe93cefbf86848a096df3d5b10130f7c7f4

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

3d5e53851ca77cc12bd958d9a08bbbe93cefbf86848a096df3d5b10130f7c7f4

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

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

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

6b526c2a130374dc4c96bc567468833a52a7b9defb3829fb6274e14f4d8a2f5112a07fc89a26d3213f3d5fed82cd0818680dccf0b0b48657622fe753103402ed