トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

6cffadffa1b257363fc41d4cd47699cb27770868c3a1a4c35d3a6b4b84bd95b3 OP_CHECKSIG

206cffadffa1b257363fc41d4cd47699cb27770868c3a1a4c35d3a6b4b84bd95b3ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

818d13fef1e879f950994bfab1295cb1ed5aaf2584dada09c85400a501baae4f

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 818d13fef1e879f950994bfab1295cb1ed5aaf2584dada09c85400a501baae4f
2. TapBranch(818d13fe…01baae4f, 46c7eccf…1725e9fa) = 5e21058859c9b383f5ead8af9a22f801c3a2cae00d1f98ad9142227d5c5eba49

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

5e21058859c9b383f5ead8af9a22f801c3a2cae00d1f98ad9142227d5c5eba49

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

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

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

5c1fcc6d611b4bdc59ae586484d5ccec471f4c65868c011b6f73b2659e17b105518758951b58dd26152e55f15b04dbc5e81c3ae5c07fc9bd24d1372c33fd108c