トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

1ddd090987287cf1709d6555090d1b81c9cdea5d766c87335b056912d469b203 OP_CHECKSIG

201ddd090987287cf1709d6555090d1b81c9cdea5d766c87335b056912d469b203ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

20381d5ee634350acb854aaefd82eafa79aa6465b3ad4dac172dccd7f41d06ba

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 20381d5ee634350acb854aaefd82eafa79aa6465b3ad4dac172dccd7f41d06ba
2. TapBranch(20381d5e…f41d06ba, 46c7eccf…1725e9fa) = 3b1e3b62c375f48d4da8876ae562e42ce3a9cd503461abc8b94219b5f303c828

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

3b1e3b62c375f48d4da8876ae562e42ce3a9cd503461abc8b94219b5f303c828

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

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

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

0c5d8480382cb33ea24b865002394378bf62407f3fa91f8a764b96480555143bb79058417c7dda9864c26f3a795391e1ca076bf27fcf519b071b34714bf33d1c