トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

473fcf23632f79ae2a36eed5fac22ae0355983c5bf8808b0ff349c7e00f3b591 OP_CHECKSIG

20473fcf23632f79ae2a36eed5fac22ae0355983c5bf8808b0ff349c7e00f3b591ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

996580bd74fd724bd2b60883fd2a0c339365bc07ddc035b00b5a96816aa06547

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 996580bd74fd724bd2b60883fd2a0c339365bc07ddc035b00b5a96816aa06547
2. TapBranch(996580bd…6aa06547, 46c7eccf…1725e9fa) = 7df61d799ec6c7449fd0ff979a66b4598dba817824498ac252209d4e5361b468

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

7df61d799ec6c7449fd0ff979a66b4598dba817824498ac252209d4e5361b468

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

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

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

adae5a46076a48d89f74e8966b6995ab3098ecfe7a383e96196c25d098c49e5f5700b4f3541b66cdf58fecfd569c1c9fcd658e7e290c844cd7b6948c433046a1