トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

6c7229217f0d01436c6065d867e1bcf7a98173c765fc137f08bfca00ba11d657 OP_CHECKSIG

206c7229217f0d01436c6065d867e1bcf7a98173c765fc137f08bfca00ba11d657ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

bf65370247c246ec73abf6588a5c4848636ad817bb198cf8f3630fd7bb437fd1

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = bf65370247c246ec73abf6588a5c4848636ad817bb198cf8f3630fd7bb437fd1
2. TapBranch(bf653702…bb437fd1, 46c7eccf…1725e9fa) = 4f84c5f5d7c40b8f355b30d980fffa14e499c3afd87e1ef830fb699116e90fea

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

4f84c5f5d7c40b8f355b30d980fffa14e499c3afd87e1ef830fb699116e90fea

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

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

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

2e3f6c80a6e204a754d6dedd7a420546673cb4ba4ca3ab666e2c5ea65e60de1b144f1d5dcd0a06cfa6f8e385da9ba87cf6740193cb5abb7acde5b211b1513e1e