トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

6b13b39fcc14910047981a39cfb525ad71407d70e4c9308788a08ff21d6d235e OP_CHECKSIG

206b13b39fcc14910047981a39cfb525ad71407d70e4c9308788a08ff21d6d235eac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

8026b85d0200975098b1239f5cd654ae753fa04151ad3e095b030b1ae1d57e39

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 8026b85d0200975098b1239f5cd654ae753fa04151ad3e095b030b1ae1d57e39
2. TapBranch(8026b85d…e1d57e39, 46c7eccf…1725e9fa) = 6638fd2eaba16595f03c2d61178354d5e8e8c67bff730f707cd7690a0fe81980

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

6638fd2eaba16595f03c2d61178354d5e8e8c67bff730f707cd7690a0fe81980

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

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

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

4c38cb5e0c4b29dff9eb7bb6b5577da2e5f7b2aad1648f4aee016b1cf5a3f8f96c2541b20b2a6f4da9643ae4cbda38e4add01252c440ca588dd73a208809ea1f