トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

3c1e95fc4fd76c0d103a60480c9717bd608f8c3c0abae085f84b4c052cbabd50 OP_CHECKSIG

203c1e95fc4fd76c0d103a60480c9717bd608f8c3c0abae085f84b4c052cbabd50ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

bab70e7d8f9945be84eb82ec89a1bc81e2ea0cd6caa6bd02b2a6a0e3a6a6ad20

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = bab70e7d8f9945be84eb82ec89a1bc81e2ea0cd6caa6bd02b2a6a0e3a6a6ad20
2. TapBranch(bab70e7d…a6a6ad20, 46c7eccf…1725e9fa) = c65972a83bd74be99aa2c097de8f527f9fbe26ae513fba9b9d3d87798be18de9

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

c65972a83bd74be99aa2c097de8f527f9fbe26ae513fba9b9d3d87798be18de9

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

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

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

b009ed4ba5350fd2077e9bbdecf16a6f56b911d133a7b5bfe224761c3ec8a4cc8bc39dbd969fa3338b08ef59c35b579104a88c76cc1d66d789789a26fd0567c6