トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

6def6af0c07f771a5bb03e0b1aa2722699b9e98406e06c5bd3c76ee1f652adc2 OP_CHECKSIG

206def6af0c07f771a5bb03e0b1aa2722699b9e98406e06c5bd3c76ee1f652adc2ac

コントロールブロック

c15998d6aebf17223b85f79c27e88499936250e77892c41e03910145435cc350e3 (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

5998d6aebf17223b85f79c27e88499936250e77892c41e03910145435cc350e3

リーフハッシュ（TapLeaf）

c74448f5974c74e08fdeb74634b90a4627dc99d6c365dc0797b08a8b0d2bcc03

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = c74448f5974c74e08fdeb74634b90a4627dc99d6c365dc0797b08a8b0d2bcc03
2. TapBranch(c74448f5…0d2bcc03, 5998d6ae…5cc350e3) = 8eb2fab85ca78eb66e2090645f169e1295a1beaaf4ec50da26a3f9ab47288000

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

8eb2fab85ca78eb66e2090645f169e1295a1beaaf4ec50da26a3f9ab47288000

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

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

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

53351146f774b613b497e3cf803fae32136c9d4cbf4489faa5c3406a115c2d431da10baba7e55ab89f8ba3475a368acbb06fead595a003e2a9e31b9b104ff425