トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

0989351034e08dee4398a6993da838692219eae1562708a37124bdd18945680d OP_CHECKSIG

200989351034e08dee4398a6993da838692219eae1562708a37124bdd18945680dac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

dcb5b0267a6aef6da4696da7bc84f331df754648baf8aeefe0cdb93b2b5b4e13

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = dcb5b0267a6aef6da4696da7bc84f331df754648baf8aeefe0cdb93b2b5b4e13
2. TapBranch(dcb5b026…2b5b4e13, 46c7eccf…1725e9fa) = ce95d15537fda1015b3a4bac1cd8e2ce726e77be6ebecb33c7f555d4848fcca6

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

ce95d15537fda1015b3a4bac1cd8e2ce726e77be6ebecb33c7f555d4848fcca6

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

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

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

4c8b418c2d0bcde4fff2fde7cbef681402171a12f89115c0d0d85decfd19ec2f3023a7a4ddde0d7a14fbfa64da2d88f23cdf7cb9fe71dcc65f716f3ed0e112e8