トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

480ba4acabcee87dbfa4c223ce792f1b6574eac055cf638bd88066e23175a583 OP_CHECKSIG

20480ba4acabcee87dbfa4c223ce792f1b6574eac055cf638bd88066e23175a583ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

4db0e7ed3390ade650266540d85f77c6d261933a00774dffbf8399c8363190e1

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 4db0e7ed3390ade650266540d85f77c6d261933a00774dffbf8399c8363190e1
2. TapBranch(4db0e7ed…363190e1, 46c7eccf…1725e9fa) = 51dbfe4a59762242ff4e7df4bfddfcbcbec3a22c12c8a40d80e1dc1fe379b956

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

51dbfe4a59762242ff4e7df4bfddfcbcbec3a22c12c8a40d80e1dc1fe379b956

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

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

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

b4d72a828f41986e2d71b459d8c99778a847d2c2a3308a33b3fa0df49e3f2f39bb2b445d87ca711dfaf6a7c848a2df3523deca553bda6df75c0ca454d4978826