トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

21a1b52ffa266547da937b5a03d06da2c589db7448df04d1b65747c12e447b8c OP_CHECKSIG

2021a1b52ffa266547da937b5a03d06da2c589db7448df04d1b65747c12e447b8cac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

130ec2ccee0388f4b808d32b7ad68e8c16fe6a6330abc216a5b012363130799f

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 130ec2ccee0388f4b808d32b7ad68e8c16fe6a6330abc216a5b012363130799f
2. TapBranch(130ec2cc…3130799f, 46c7eccf…1725e9fa) = 7a89925c92358defb7fc2aaf513a710118e41773f0deb7a549e53b6cffce6382

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

7a89925c92358defb7fc2aaf513a710118e41773f0deb7a549e53b6cffce6382

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

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

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

3db2fc679c045699fe0427588cfab4a2b655fd212834e718c7c07b7bd6f64ff3031ef7d51463629b1957853ee40d608d6fabc95b972c44efc75be3abbc2e9421