トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

c687e1d3f6dd2f19cbbe0e203222a0e6642d7e5552dae20d0600fa10876c6fd9 OP_CHECKSIG

20c687e1d3f6dd2f19cbbe0e203222a0e6642d7e5552dae20d0600fa10876c6fd9ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

2394386a5d09a7f6fa2b6e212b40071055ab5c6c42800b498bb23b0d8e217fe9

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 2394386a5d09a7f6fa2b6e212b40071055ab5c6c42800b498bb23b0d8e217fe9
2. TapBranch(2394386a…8e217fe9, 46c7eccf…1725e9fa) = bab9e5dc69ce5e02a2b8347bf30b81fbb2ad00f8adf0978580e7e3b0ab5b06a7

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

bab9e5dc69ce5e02a2b8347bf30b81fbb2ad00f8adf0978580e7e3b0ab5b06a7

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

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

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

e47ae7c0090f921a26aae2d367b01b62aac2ba90bcabe21d8f6d5934d71e6e1dd221f7260f7f199bc9b3c14bb7f337876681597f883901bf9fbafb89b0712a80