トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

4092986c1b7a9bdc48872a9a417ec4a85ec65119ad7842472cb1f5c5f9e2387c OP_CHECKSIG

204092986c1b7a9bdc48872a9a417ec4a85ec65119ad7842472cb1f5c5f9e2387cac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

89db43235b852025d8281dba1252b9690a84efd15f9fa71d1b88a4c4f35f91d1

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 89db43235b852025d8281dba1252b9690a84efd15f9fa71d1b88a4c4f35f91d1
2. TapBranch(89db4323…f35f91d1, 46c7eccf…1725e9fa) = 3c38c437017a8a942bf397940f01694ef7c3fb6d0b62ce9a1d7d384aafda03f7

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

3c38c437017a8a942bf397940f01694ef7c3fb6d0b62ce9a1d7d384aafda03f7

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

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

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

0c8e37ec8a409e9ee5af87417199d97cd16aa4b616dcb821e15cb729734e82b909190574ab4dbe951fdb6b38e7cdcb5a94567990c2f958d69ee7dcea68182aae