トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

d7b5caaec0206279a87680af6884fcbe652c27a9e3fd73fdd6bc27aeab6b0739 OP_CHECKSIG

20d7b5caaec0206279a87680af6884fcbe652c27a9e3fd73fdd6bc27aeab6b0739ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

20d4fac64be68f961fd20ab94c965bd3431c4d9e7ea40540998959f21755f4cb

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 20d4fac64be68f961fd20ab94c965bd3431c4d9e7ea40540998959f21755f4cb
2. TapBranch(20d4fac6…1755f4cb, 46c7eccf…1725e9fa) = 05640466c72fd4eb5e94c2ca252b853259839b07459b409d18149fa0914bf849

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

05640466c72fd4eb5e94c2ca252b853259839b07459b409d18149fa0914bf849

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

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

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

4f5de562ec06861e60ec593118e9a583c68863114ab32340ee14eea7f9ab65ffaddc4e982d937f89c3c973642f4ca522d807ddb9cf03913ff20a39394ab37541