トランザクション

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

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

5abe6600cefa9d80afde8e0ed33ad76365a73f1664df800b4722686544a7c9b455e14ddc2e72f5de0b88daf3b1542e98836860ef6f7574bb39103324f339c636