トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

36c4d548c66bda2a33a74acb417be224b5784f5e464d196c34e4399be5efcf12 OP_CHECKSIG

2036c4d548c66bda2a33a74acb417be224b5784f5e464d196c34e4399be5efcf12ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

b3bfecb3c575e4659b48067abb7fb9517720dc15016c1b90bad95d28029a4307

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = b3bfecb3c575e4659b48067abb7fb9517720dc15016c1b90bad95d28029a4307
2. TapBranch(b3bfecb3…029a4307, 46c7eccf…1725e9fa) = 0d162ee98c332417f4208551c49e1f73aeaccd700d59922a2e68e49dc400b79f

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

0d162ee98c332417f4208551c49e1f73aeaccd700d59922a2e68e49dc400b79f

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

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

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

2b3d6df37425626db3d9060037df926d41e2f20c67d7bfd1f765213ee12305675188fc436e275f6df896e1c5d37cbf5d03330c87657dd467f701460843b7977d