トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

d3a3562c1ece29c661f49143fa888e4415a1f73b414f89eff7039a84d3e785f6 OP_CHECKSIG

20d3a3562c1ece29c661f49143fa888e4415a1f73b414f89eff7039a84d3e785f6ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

662a9c469496095c0dbcd904b6f801d28d83f350fe071f1b1ff2085d8a3e6e59

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 662a9c469496095c0dbcd904b6f801d28d83f350fe071f1b1ff2085d8a3e6e59
2. TapBranch(662a9c46…8a3e6e59, 46c7eccf…1725e9fa) = 24b9c0f7ab8b0cbf4f8f8e7c81255049542797e790ba64d2d132268903ada513

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

24b9c0f7ab8b0cbf4f8f8e7c81255049542797e790ba64d2d132268903ada513

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

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

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

02a8d3920d71c78ba1718f46ac76a46cc76b7a088d6cc8e23f25e78d6bd508c33b907a104e97426d86a2ec2aab29e44bcdfe7bc995afcc9c6e1556f3dec88099