トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

6996d9270cc2f4591ac2c8ffa3a40ee5e8b4e152a054e238ff38b065e6ca316b OP_CHECKSIG

206996d9270cc2f4591ac2c8ffa3a40ee5e8b4e152a054e238ff38b065e6ca316bac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

52d3acd5c09ab01e313a12db47f9646a408914e419a4d98403ac54a9e2c7cf6c

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 52d3acd5c09ab01e313a12db47f9646a408914e419a4d98403ac54a9e2c7cf6c
2. TapBranch(52d3acd5…e2c7cf6c, 46c7eccf…1725e9fa) = 79ee5d687c707e4e2b8ac1643ad0e48ca6cf9f058fffdedea08aba9dd9e83256

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

79ee5d687c707e4e2b8ac1643ad0e48ca6cf9f058fffdedea08aba9dd9e83256

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

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

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

7a4e42ff8ca7b7db98ef7e4e6b0aba73f6953e776dc12cd867af490b4da15acc48ee3bafbfd05a80d746fef15cd3b25994b2d62d168985128f08a91f6f551076