トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

abf10b8f36de8c727539541b3de404442f07934c12ce5a60bc4959f69f999a82 OP_CHECKSIG

20abf10b8f36de8c727539541b3de404442f07934c12ce5a60bc4959f69f999a82ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

902239707e7247bff6c1c0bfec671123a30c12ea11aa0e4e1d8873f4f971be84

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 902239707e7247bff6c1c0bfec671123a30c12ea11aa0e4e1d8873f4f971be84
2. TapBranch(90223970…f971be84, 46c7eccf…1725e9fa) = f289fa8fb36935408be92e7082ad475d21a38f68d996feac12c24d880a93b35a

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

f289fa8fb36935408be92e7082ad475d21a38f68d996feac12c24d880a93b35a

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

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

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

efeef8fd1a5b910e70f3742235dd4b4ba8b62b38d3843c293d70f77abe9cd00d44f75d5096d06ae64ed98d926243bf207fc9ecd36fdd0b27a1802d5b0e45d186