トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

661b8d2fc78e07eddfe56fc5a121b905ee1d6af1ad111fb02d48e8c0b43b0541 OP_CHECKSIG

20661b8d2fc78e07eddfe56fc5a121b905ee1d6af1ad111fb02d48e8c0b43b0541ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

0d9c5e08e4b47a0a158862d36688e9c85df782315dbe89045769fc6eb2bf6cbb

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 0d9c5e08e4b47a0a158862d36688e9c85df782315dbe89045769fc6eb2bf6cbb
2. TapBranch(0d9c5e08…b2bf6cbb, 46c7eccf…1725e9fa) = 59dc3c527f13aa4b0a6553920bb52e389462f2bc7f4d69bf412755110079e007

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

59dc3c527f13aa4b0a6553920bb52e389462f2bc7f4d69bf412755110079e007

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

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

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

fba3d0e5fd95ebb62da5028f0a91e5c7204a0be41902862fd54ade643337fc612929d15d684bfcd090282315263b3a485a4c017e614d3a1b81597ea211fe6e44