トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

bcb739e93670315163a04724a362dae8d292ca4f8781da77503b266ac910cefa OP_CHECKSIG

20bcb739e93670315163a04724a362dae8d292ca4f8781da77503b266ac910cefaac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

35ae7b2df51fc3b5fa50ca423c5dcbd83e1450e928e57bdd67c5986a4fe7725f

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 35ae7b2df51fc3b5fa50ca423c5dcbd83e1450e928e57bdd67c5986a4fe7725f
2. TapBranch(35ae7b2d…4fe7725f, 46c7eccf…1725e9fa) = b249db38b78c4e927af1646195ce6911171a4dd9288785befd21cc5131a004ff

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

b249db38b78c4e927af1646195ce6911171a4dd9288785befd21cc5131a004ff

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

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

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

8a3e0cfe0956d31a75ddfa5ae87c7bc2563abaf98f7653164a23399cc7f7055672fc0b04c8c4fba76f47ea549228fff3ac1364a2b58e84c2a1514b9d59040f66