トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

4e53d3b7d494f0b4ffe960edfe878d33ac891e0f5047529a22d7a08c3b8f7290 OP_CHECKSIG

204e53d3b7d494f0b4ffe960edfe878d33ac891e0f5047529a22d7a08c3b8f7290ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

364e1d90f1f52761d0980e9699f32cf99d26a1520fdc37177e7fdb174e4f4f7f

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 364e1d90f1f52761d0980e9699f32cf99d26a1520fdc37177e7fdb174e4f4f7f
2. TapBranch(364e1d90…4e4f4f7f, 46c7eccf…1725e9fa) = 4b547ff6fdb16b148412646a9507b111cff074b4a2b9ad7a5fc41599ded84934

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

4b547ff6fdb16b148412646a9507b111cff074b4a2b9ad7a5fc41599ded84934

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

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

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

af2ec688f8553dcd4cecfc631cb2b66c8e3f386dc0b966796e7160f7fdfd39ed68814488446decc58a0e639a94f46245307826adcc6b4a87e16375f0d3b2b45a