トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

38035e91c075108ba7e93bcb196db0bab16acf6f28eec06b8ce0a97724a4f35e OP_CHECKSIG

2038035e91c075108ba7e93bcb196db0bab16acf6f28eec06b8ce0a97724a4f35eac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

b65a8593e29a85d35a4a5925d484982d9efe3948663bb73da532d8329253d9cb

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = b65a8593e29a85d35a4a5925d484982d9efe3948663bb73da532d8329253d9cb
2. TapBranch(b65a8593…9253d9cb, 46c7eccf…1725e9fa) = 57dbe8a27ec44dafb6bd60a4558a89dd0437ac9d175e7dba5051531ac8165744

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

57dbe8a27ec44dafb6bd60a4558a89dd0437ac9d175e7dba5051531ac8165744

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

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

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

00561b64bd5e19a6ee9a581d5eba7a386efe272ae4bbfc454e8f246322ed7343ff39fb0edec7f05a65c385ee1612c51f48eeea70b5a7e34aa0a6f32bba1734bd