トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

cdcf420ed9839a8cadc07e43c0be0871f4d2f55f2fbe690565d27d918657c2f2 OP_CHECKSIG

20cdcf420ed9839a8cadc07e43c0be0871f4d2f55f2fbe690565d27d918657c2f2ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

e341e4b7a18508c36cda177cdae8139c65ab85bfc76fec493ac9eea7e61f7b31

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = e341e4b7a18508c36cda177cdae8139c65ab85bfc76fec493ac9eea7e61f7b31
2. TapBranch(e341e4b7…e61f7b31, 46c7eccf…1725e9fa) = f716b335b756c606830d2c466f70a70746a0955dc0663ceea09e531789eceba0

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

f716b335b756c606830d2c466f70a70746a0955dc0663ceea09e531789eceba0

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

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

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

11d8e13eec89b618e4ccacaf60cb92c33b0b1fad0256599568ac3b231fae102c54e33aeec1fb1cbe3003555c7304a12a5b3bc698755e0d4bf7fc75b173f34ee9