トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

663f669f53ef7fd5cae0380d5c598fab9224965d63c4ef27d0ced24e57603873 OP_CHECKSIG

20663f669f53ef7fd5cae0380d5c598fab9224965d63c4ef27d0ced24e57603873ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

94ba89802c6b4fa9de9832d97a19af7ba2ba2e4623055e69dc568c4246f34be0

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 94ba89802c6b4fa9de9832d97a19af7ba2ba2e4623055e69dc568c4246f34be0
2. TapBranch(94ba8980…46f34be0, 46c7eccf…1725e9fa) = 54d33bf34f9ffa25efa4e273608201c42e58c0b90b2dbe8376b53d26d5084a01

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

54d33bf34f9ffa25efa4e273608201c42e58c0b90b2dbe8376b53d26d5084a01

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

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

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

d2e1ec5a5389dee67a46ef7b487b0eda3113d279a7421c553668cbe68cca31dc7cdb011b60017009c13a6e9a00f0e87656fbf9f7bd588088cb5523985486c6c2