トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

a1690791cbed3f10a164a99f33e47b7aacdec1adbca60dfa37c1f66eb54f3eab OP_CHECKSIG

20a1690791cbed3f10a164a99f33e47b7aacdec1adbca60dfa37c1f66eb54f3eabac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

4d071484fa46139797d62aefbdd476102a7dc8c2bb3cd14efd295bfc8ed1f6b0

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 4d071484fa46139797d62aefbdd476102a7dc8c2bb3cd14efd295bfc8ed1f6b0
2. TapBranch(4d071484…8ed1f6b0, 46c7eccf…1725e9fa) = 7b6c3b1070b5f39afcfae79910ca911835980b1655876905003092d39b6d07ea

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

7b6c3b1070b5f39afcfae79910ca911835980b1655876905003092d39b6d07ea

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

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

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

031d0ac542e9ea5b63c851b6df294b3b08e9d5c428ef4d8e25501366ca6263836a515788c15bbc4c9fc2de6eb1286b7208b8e013f2a2b5edab93a06901127651