トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

ef78a429bc9a33311e97bd014f47174a35266c06c54f6f3e4085ae8997b9668a OP_CHECKSIG

20ef78a429bc9a33311e97bd014f47174a35266c06c54f6f3e4085ae8997b9668aac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

43be9c0dbf7363890c0cdaf06047c4caadd7729a38d36741b3cc73a9089b6b15

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 43be9c0dbf7363890c0cdaf06047c4caadd7729a38d36741b3cc73a9089b6b15
2. TapBranch(43be9c0d…089b6b15, 46c7eccf…1725e9fa) = db43e5a945d5b54274f4868e406d1293fc3d93bd9419903907557b910f2ceb15

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

db43e5a945d5b54274f4868e406d1293fc3d93bd9419903907557b910f2ceb15

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

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

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

e9dd49674b4d452b8d3a0f08ab07c49b84a6587c1bb6efca1aa34898dbae839776fccf52775342b3b349bfb373ad0b788a19ffc357f9e79632ce028df3b3b292