トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

acc891aa304c60cb033ad0701aa106c4791f512d7db15a57b5a6f8c49fb58b85 OP_CHECKSIG

20acc891aa304c60cb033ad0701aa106c4791f512d7db15a57b5a6f8c49fb58b85ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

d3a71aeed036a7e0d199071462712fed1319e069fb10e3b111c332dc71baacca

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = d3a71aeed036a7e0d199071462712fed1319e069fb10e3b111c332dc71baacca
2. TapBranch(d3a71aee…71baacca, 46c7eccf…1725e9fa) = 2b5d996e3670e7e2dc7f808638cbce14ee760e1e4bf0006abef975e50f0cbb2b

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

2b5d996e3670e7e2dc7f808638cbce14ee760e1e4bf0006abef975e50f0cbb2b

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

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

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

dbfa1b30f782e211355d3f11b52b806d0de92c1036e71eb8785df0a826c05a66f67f0ace20de7bfc848310dd87c22b5f6d29e03cd71b4b323f2de8eddb9246ca