トランザクション

入力 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 以上）。

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

5ef925076a67aeed68188621f125054089c5a4fb303fb2425f2a1f61fd1fd09109cc1ab4ad7ec4a0ab6577a8e95368d25c84d660ab8a672b5a2456ef240cfb00