トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

d3412492b0be9bd66ef17cba18ec489df26825efc007c0225ae7b33b09cac1f7 OP_CHECKSIG

20d3412492b0be9bd66ef17cba18ec489df26825efc007c0225ae7b33b09cac1f7ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

e57720da25ca1fff16a0c4dd620decb1cf4a105a43326ee47ddef095ff922acf

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = e57720da25ca1fff16a0c4dd620decb1cf4a105a43326ee47ddef095ff922acf
2. TapBranch(e57720da…ff922acf, 46c7eccf…1725e9fa) = b27f58611ed36c731394c2e8992ef582b41681aff92e990b6c8f67d3b8af1024

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

b27f58611ed36c731394c2e8992ef582b41681aff92e990b6c8f67d3b8af1024

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

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

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

ed0e2b65c0f157704661225c45d15da6dae7f0effd3ddd9bf005669bc33de4e4b4581dcac4cc9f52ed56be56843b39b8a43ab2bd8fd2e1674eae9ae193420e9c