トランザクション

入力 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 以上）。

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

0ae567be510d959062db335167f7aae4e7e6c25d949edb57e96bad947a013d4ae57368c43af46122ffe0518143991e3818a088e2fae54989379d2a69cf8d3255