トランザクション

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

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

c2206fdc97c97640141501a2e9d1b49487fe392da44b882424e73713e1d61df1e35877c03aaaa483b81ed0e66350eccbf984020f3d51ff079351d894a0c9f3f9