トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

16c703f969c637de67bd23e7eaa72404c8ffc8d48b6baec53209ea808946e7ea OP_CHECKSIG

2016c703f969c637de67bd23e7eaa72404c8ffc8d48b6baec53209ea808946e7eaac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

561a8f10305388c7d80b099d2b552104a9bc927b6cc65bad48ae0bcba4b46c88

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 561a8f10305388c7d80b099d2b552104a9bc927b6cc65bad48ae0bcba4b46c88
2. TapBranch(561a8f10…a4b46c88, 46c7eccf…1725e9fa) = 938790a7abb60623b1e25abb4ce390aae0d345843d3a905d7c72b32d79c9fad9

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

938790a7abb60623b1e25abb4ce390aae0d345843d3a905d7c72b32d79c9fad9

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

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

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

b7c31bd9d672066e60dc89aeb225b5c17ca9f45eb619d55d92bd387fefa8eacf9be6c0a0ec9dda9ada4392849ed2ed489df5b5953d85e4eb4ab83c55bc4677bb