トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

cd74dfe30fe3131fc1254e7192bad6a41e89d4e88ebac4275383bf671426bb3a OP_CHECKSIG

20cd74dfe30fe3131fc1254e7192bad6a41e89d4e88ebac4275383bf671426bb3aac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

0436a6dfbeca86a23c79b9e63bd059a6fa852386619643542c5f687308e43f2d

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 0436a6dfbeca86a23c79b9e63bd059a6fa852386619643542c5f687308e43f2d
2. TapBranch(0436a6df…08e43f2d, 46c7eccf…1725e9fa) = 63e5021f047d75e0752f0b706908e6fe27611ab786d61ff0333e7ea7ddf5c4d3

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

63e5021f047d75e0752f0b706908e6fe27611ab786d61ff0333e7ea7ddf5c4d3

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

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

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

ed574afedb622801918dc3848530e99205f40b9b7c389cad10488c1690abd2636f44ee7fcffd62ed0ca86ba1bff953ebd2bd5467d0d9dae97639f23998645d65