トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

ef9eda0d9f8deeb14ad664344d19663e42a6603ce83b81523bc63b1150d9f3f9 OP_CHECKSIG

20ef9eda0d9f8deeb14ad664344d19663e42a6603ce83b81523bc63b1150d9f3f9ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

fffae534a5465addaed3776abb80fc020cf9a158bb6ce719d3c7aa788e4083df

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = fffae534a5465addaed3776abb80fc020cf9a158bb6ce719d3c7aa788e4083df
2. TapBranch(fffae534…8e4083df, 46c7eccf…1725e9fa) = 459eaf0b631e935eefeaf33f5a2c47aeb46bae5b6632691fde8a47e2eff3defb

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

459eaf0b631e935eefeaf33f5a2c47aeb46bae5b6632691fde8a47e2eff3defb

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

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

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

89a9f8563ba48689dd8a88e94e747c852872357940427cd84f6b03369b2b3c7e4ebe060ea6c2bfd88907c187d76571cd71d1f5a30b463bb5e9a9f59410fdf937