トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

fc628744a57e039a600351fc57124e90f448a97d6323d83cb981ff73a748e961 OP_CHECKSIG

20fc628744a57e039a600351fc57124e90f448a97d6323d83cb981ff73a748e961ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

f66989b2f3e18ade323e52cde6fe4db5a62ba75a534f337ba2ccf6b962b55dac

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = f66989b2f3e18ade323e52cde6fe4db5a62ba75a534f337ba2ccf6b962b55dac
2. TapBranch(f66989b2…62b55dac, 46c7eccf…1725e9fa) = 7212fff250b2424e83164871ee20758d7263036f9eaf04efa83a121193d966a5

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

7212fff250b2424e83164871ee20758d7263036f9eaf04efa83a121193d966a5

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

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

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

ddf216e743aa35e1f31b3a780ca9f289e8fb03f9c2f34917c0626bdb42680745337de2ff35c22d193511b893e03c07b68e4833fe8f87ee400edf2fd9da5784af