トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

0847033e2a5bab6929d2596b14ed3b3b8e4943d9057f78cac5c7626f300aa926 OP_CHECKSIG

200847033e2a5bab6929d2596b14ed3b3b8e4943d9057f78cac5c7626f300aa926ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

eddf5bbb37dd030c622d49d177eacdfe266d63c18c98324e8e9b88a598346ed9

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = eddf5bbb37dd030c622d49d177eacdfe266d63c18c98324e8e9b88a598346ed9
2. TapBranch(eddf5bbb…98346ed9, 46c7eccf…1725e9fa) = 02f442791cab04645c64e9c1c063f1b946511a6d2fbf9746c0ad5d124911d470

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

02f442791cab04645c64e9c1c063f1b946511a6d2fbf9746c0ad5d124911d470

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

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

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

d1cb712bfdaae1aeeee6fcbbf710e67152de31ae7f33ada2fdf0394f82aa664b05e9f156e6235959489407c3b07d337699d78cd037097c998191b3d0a909e288