トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

0bb507a2c549234827a0de54b6c376b0329ddc3afb11249c9de6fe0431b19380 OP_CHECKSIG

200bb507a2c549234827a0de54b6c376b0329ddc3afb11249c9de6fe0431b19380ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

6eae0e27cb357946b2ccc10cd88ef2ffed857f242f06818d0f1d3180ab02ac84

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 6eae0e27cb357946b2ccc10cd88ef2ffed857f242f06818d0f1d3180ab02ac84
2. TapBranch(6eae0e27…ab02ac84, 46c7eccf…1725e9fa) = b24412b9ba663745133142a98dd0cc47ffcbb0aabf77f3aa4fe07754c078d58e

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

b24412b9ba663745133142a98dd0cc47ffcbb0aabf77f3aa4fe07754c078d58e

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

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

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

ec3a77e56c5ec4aadadd767d8042f7f23cafa37fc779ae5d04f81a11b3e43ac19ad4d52c8980ac7584fd74e6e32d67444436c7e65af545082542290702127a3e