トランザクション

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

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

fe0d1e99445a1d54cf82e7167737d43621a7bc6762dacfb946bf17d7231d66128afb421e64d21e7a8c9d701bd17c8baedc36d57a3b3b2e76ad9f73135e7c307e