トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

686b45fbea6525f2615d66904176e48b1d6d35f7d5242580cebb51bc02654e5a OP_CHECKSIG

20686b45fbea6525f2615d66904176e48b1d6d35f7d5242580cebb51bc02654e5aac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

c161cbf9e4e5a99cdfbc62d0210fb1c9ff97002cf2ef30bf7d4b64bd1cb33e87

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = c161cbf9e4e5a99cdfbc62d0210fb1c9ff97002cf2ef30bf7d4b64bd1cb33e87
2. TapBranch(c161cbf9…1cb33e87, 46c7eccf…1725e9fa) = 93e3c8db7908b1f4fbb3683e222173a3907853b8c2ae79f28e4e4cc75801f0ee

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

93e3c8db7908b1f4fbb3683e222173a3907853b8c2ae79f28e4e4cc75801f0ee

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

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

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

843a272c2802367396dc3db3f9b7468ad7444517f501080fa68cac14a71bd26cddcf1318dae6c90769b8b51efbcbf6633880db68f2d545a95692418cec1e022a