トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

e07d386ad90bcbfadeeb0f74dcddba6ae68eaf9bfd18dac84fd2a5686dfb36b4 OP_CHECKSIG

20e07d386ad90bcbfadeeb0f74dcddba6ae68eaf9bfd18dac84fd2a5686dfb36b4ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

ca98057f7d8ecf6e96cc6f1e46bdc6b85b0377367a1ad2095a8994b3265dd1f8

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = ca98057f7d8ecf6e96cc6f1e46bdc6b85b0377367a1ad2095a8994b3265dd1f8
2. TapBranch(ca98057f…265dd1f8, 46c7eccf…1725e9fa) = 40db8e2c1eea8339beb97d2a3235d6f35f2d497ca1f93594539aa794391d4675

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

40db8e2c1eea8339beb97d2a3235d6f35f2d497ca1f93594539aa794391d4675

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

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

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

9b3920f88dbb1b50e294239d0b5660be5c9e070d13d3c2b716429c83965a25eecf6c623497e29b4ac39329285f6246a1d416e4465c32924a1e6daaa0ab570dd5