トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

3e61ab42e988e8f8a803905120aa3a298c1d4ab09b70287f9a7b24e498f92d61 OP_CHECKSIG

203e61ab42e988e8f8a803905120aa3a298c1d4ab09b70287f9a7b24e498f92d61ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

27d5bba72359f46fb75b17b26c76ea26ea1fde4f7b0b46a038d96a3658ab67f9

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 27d5bba72359f46fb75b17b26c76ea26ea1fde4f7b0b46a038d96a3658ab67f9
2. TapBranch(27d5bba7…58ab67f9, 46c7eccf…1725e9fa) = 5fb1c486d13c99a51cc2e668af4a1a6dfeef83cfe48bef55f315aa5b15b34c45

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

5fb1c486d13c99a51cc2e668af4a1a6dfeef83cfe48bef55f315aa5b15b34c45

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

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

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

7f4949c47da93c441c4d685781359ffe959cddafc313b85f045d96162204b5858d0b2e335df97cf210fe444084a27fec079b656e4b10e59ac5e63c34d3322b7b