トランザクション

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

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

d3e18830bcaa89ddc7342e4af8cc6635ff5f9880dc36ab86dcd6f8dd812e6ace2670a20422334f92d2e46335ffff522b723eccdab897c73f0abf64026b148dc3