トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

90b174d8b04a93df41993ed49e3b6c9633bbbbaca850deb8ac2b861ae92b2d0e OP_CHECKSIG

2090b174d8b04a93df41993ed49e3b6c9633bbbbaca850deb8ac2b861ae92b2d0eac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

27a872ccd48617a6c7119eed84dd67a927de31e3a396d759a5c7730495ad950a

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 27a872ccd48617a6c7119eed84dd67a927de31e3a396d759a5c7730495ad950a
2. TapBranch(27a872cc…95ad950a, 46c7eccf…1725e9fa) = ae3811f1d1d4b42d6e4678491699135d1fc82be89501eaee866302073d9ba608

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

ae3811f1d1d4b42d6e4678491699135d1fc82be89501eaee866302073d9ba608

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

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

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

7c5d6dd7dc09dffeff5bfe529124ae18900637fec592776675bb40e69a42635ec2fae131060d5a2e37c595002fa88e1999b441d2e8065097452e7a49695a6464