トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

993c47706bb222fbef41a08bf8923a0a7076c0ddd70594e54f92f92dcbd72b9b OP_CHECKSIG

20993c47706bb222fbef41a08bf8923a0a7076c0ddd70594e54f92f92dcbd72b9bac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

66a116419a7af08554bd008a3aa0b6f2bd61b85959dcccecdab73f77fc57348c

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 66a116419a7af08554bd008a3aa0b6f2bd61b85959dcccecdab73f77fc57348c
2. TapBranch(66a11641…fc57348c, 46c7eccf…1725e9fa) = 3bd8dac6e0c874822aa1c2c5b0fb16ba3139ae7fc01113704c2aaa022874e558

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

3bd8dac6e0c874822aa1c2c5b0fb16ba3139ae7fc01113704c2aaa022874e558

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

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

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

edef350837723468caa001ab9047990d8054965bf802f07b704862a1026fb6c622c47dbf622bcbfe459edfb76363b0728740efbdd73b0795c031a5540eb4c5d9