トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

8076a7264782201fdfbc007ee5db80c2701938a66f01784adfa0e18b11df990f OP_CHECKSIG

208076a7264782201fdfbc007ee5db80c2701938a66f01784adfa0e18b11df990fac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

85bf64f9206e7dce0b90b9efe778680669361797b59655a1d10d93dedb8521e6

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 85bf64f9206e7dce0b90b9efe778680669361797b59655a1d10d93dedb8521e6
2. TapBranch(85bf64f9…db8521e6, 46c7eccf…1725e9fa) = 8954992433127f38657ac96489f190f917a68ad30ecf01c69d12a607286e2264

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

8954992433127f38657ac96489f190f917a68ad30ecf01c69d12a607286e2264

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

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

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

bd221d49b0c8495b18c46108e0e8b40c53e975b8fd87fa8baa4bf0b14e7d27030c9f89fe34b350a5e5c6e289261d5948500023d3af0ca81ab207171ba218041f