トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

f826d2c0f36a6c7b7d6cf9e35edb208f237b7379c044fac215884d6f6c5407f4 OP_CHECKSIG

20f826d2c0f36a6c7b7d6cf9e35edb208f237b7379c044fac215884d6f6c5407f4ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

3991eda0536d26af2a6e6842da884b7dd1327984b507447ba253c8db8cb7125c

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 3991eda0536d26af2a6e6842da884b7dd1327984b507447ba253c8db8cb7125c
2. TapBranch(3991eda0…8cb7125c, 46c7eccf…1725e9fa) = 3b58fe55dfcb04ace30f3ef9eaee224485500a999aca8868c5c549214ea27c63

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

3b58fe55dfcb04ace30f3ef9eaee224485500a999aca8868c5c549214ea27c63

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

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

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

5d559c9e5d8f537c1e1d9f1bbbe8b3104c3d440e7f9e937d63cd1df37c60f36d889a934c57cc3223f4e372e841a4600db5c432fb7e91f4bf1c1d06375daded3b