トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

465d2a357f9f27556c658f5ea17b1f90efae1eb6db52a72952fa6b29f6638c62 OP_CHECKSIG

20465d2a357f9f27556c658f5ea17b1f90efae1eb6db52a72952fa6b29f6638c62ac

コントロールブロック

c1b35041ecab3dd941098e0b78ed55e620e76e2710487ec6ae9a147cf7aa8a7b20 (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

b35041ecab3dd941098e0b78ed55e620e76e2710487ec6ae9a147cf7aa8a7b20

リーフハッシュ（TapLeaf）

d538edbe9441c0e8245c734b1aec0186e1d88e71a58a7b46552a4aa7466e93f6

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = d538edbe9441c0e8245c734b1aec0186e1d88e71a58a7b46552a4aa7466e93f6
2. TapBranch(d538edbe…466e93f6, b35041ec…aa8a7b20) = 0dee6a5d6c7492cfb5235b3785ff07477f25aba9fc5ffb094a7636e6fe529bae

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

0dee6a5d6c7492cfb5235b3785ff07477f25aba9fc5ffb094a7636e6fe529bae

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

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

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

1648c19d41bbca0bdfa0f6b33c4dd057d0b7e1b4bd872830b1ab40e2498611bf12a075d8e559604ed7d0256165f577f0e57df430854ca639b4be4b481443a83e