トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

de62b2e54d86738cf4536ed5476eb889153518307845c12684f32aa71e7deb1d OP_CHECKSIG

20de62b2e54d86738cf4536ed5476eb889153518307845c12684f32aa71e7deb1dac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

9a6de36ec2c624cc23469af998ed845e72a8ee4838206df7b5de2796c05f790d

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 9a6de36ec2c624cc23469af998ed845e72a8ee4838206df7b5de2796c05f790d
2. TapBranch(9a6de36e…c05f790d, 46c7eccf…1725e9fa) = 94befa7d9290334332c76b96179d5e9c02d5809af2cf894a63dc8a585a8ca5ce

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

94befa7d9290334332c76b96179d5e9c02d5809af2cf894a63dc8a585a8ca5ce

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

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

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

edefc1ac8340ec4616247aa4a1a18853d470c2bd32163f4d9e67a3cf72dcc8c4e0d9d2b546f35d9d611577b05ecf81312e61dbabb96378c1b55b3e182aab9d44