トランザクション

入力 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 以上）。

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

807899856e2a6e120ddaa328d41b635ef00e5045659cdb4e0e628758da4df349ffae3a03a308484300b0db229754358af4a2f8e7bf5d8797173ea91d6af3b815