トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

b385c210cfe3f739ed53c84fe0f49856f964021ec0fa4c5ca1626d323315aa8b OP_CHECKSIG

20b385c210cfe3f739ed53c84fe0f49856f964021ec0fa4c5ca1626d323315aa8bac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

75499fd4e0b0871be99d11cf37f93a4a023f6fa164de6674f700f96a33ccd8e3

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 75499fd4e0b0871be99d11cf37f93a4a023f6fa164de6674f700f96a33ccd8e3
2. TapBranch(75499fd4…33ccd8e3, 46c7eccf…1725e9fa) = e7c804f306f6ee3f62d23e0e71049c5a825b5b2b6203b06d7151f81d947ba8df

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

e7c804f306f6ee3f62d23e0e71049c5a825b5b2b6203b06d7151f81d947ba8df

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

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

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

93a10ad342add6bc162e2ee82ca28152fc8c9e3d291b8af33eb72def5d490875323c7c37c54707fb990e9cb1e897b9c629df745461a34e92e4fedf45c75204be