トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

b3cfef5923187d7d024e121905b0fa4aeaa2a80c3f6f771a5e570621d902661c OP_CHECKSIG

20b3cfef5923187d7d024e121905b0fa4aeaa2a80c3f6f771a5e570621d902661cac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

36e6a633349e3f1fc5b7d2b2aeb17b5e5af682538a3953c2b3025c9ad48c0664

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 36e6a633349e3f1fc5b7d2b2aeb17b5e5af682538a3953c2b3025c9ad48c0664
2. TapBranch(36e6a633…d48c0664, 46c7eccf…1725e9fa) = 2c0b9552de3e2495fa51cdad1942d87344de1989ae65a301cf19bb6f6306d06e

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

2c0b9552de3e2495fa51cdad1942d87344de1989ae65a301cf19bb6f6306d06e

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

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

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

86968c125717537235ff3c7c555c34c22c5352152e3b516b8183278cc13825788d589437ce71cdba7ef6da06e71e9700733d14353e722441a7966f2a976ff7ba