トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

96cf471365e5a8b3b7c9289f08e2d3f758d83bd2ba0bec4e502e90264397d20f OP_CHECKSIG

2096cf471365e5a8b3b7c9289f08e2d3f758d83bd2ba0bec4e502e90264397d20fac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

0e58f3f924a2b4d6add0501e006853af42d30bd40c8770a33db2d276de4626b9

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 0e58f3f924a2b4d6add0501e006853af42d30bd40c8770a33db2d276de4626b9
2. TapBranch(0e58f3f9…de4626b9, 46c7eccf…1725e9fa) = 58f5d67677c9b28a2e644b0935c6115f80fe6809dc744a6df2f0a3dbb53d6add

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

58f5d67677c9b28a2e644b0935c6115f80fe6809dc744a6df2f0a3dbb53d6add

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

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

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

72646ce9ee091efaf36fb23701832f3d4a4022b80c37949984afc26f1d35e7ca4646d79d7e093b0dc9a055cd075fd1a205f15b103b14c52544416ec8521d55b6