トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

4a90666e23ea507fe04c53637fa7c6fe28b10b3315686beced33cc6b927b48cd OP_CHECKSIG

204a90666e23ea507fe04c53637fa7c6fe28b10b3315686beced33cc6b927b48cdac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

02bc23cdcd0b641c74255337792e84baae6f21a5f85b7e7daed10b6b39dc7b3a

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 02bc23cdcd0b641c74255337792e84baae6f21a5f85b7e7daed10b6b39dc7b3a
2. TapBranch(02bc23cd…39dc7b3a, 46c7eccf…1725e9fa) = 5aedeae223bfa90f4722782465fc6530c4f12671bb552504c8b9aa03b337fd52

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

5aedeae223bfa90f4722782465fc6530c4f12671bb552504c8b9aa03b337fd52

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

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

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

9954d68a990efa3e4cb460a68ddc4ed2ba49d57dc509c01a5e2e7bd0b943563cd9d69379d54052a487cb3bee9ef828134210f48f44aa28417f476ab4d13b7853