トランザクション

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

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

05b5c0bb63359720327b3421ee7c2e0ab1b8d8f08d386e88096751ff1dda7cbd6dcf1bf3f0e91281cb2f3699ac65dd2102316191cd6b872eae5685312463031c