トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

de0da80b7285ef95905b0e892c0e0c0eedb0230f2314c156bf6deb83948b3509 OP_CHECKSIG

20de0da80b7285ef95905b0e892c0e0c0eedb0230f2314c156bf6deb83948b3509ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

67ed43ce8a3245b198953f69dfabd40c2c9635a4ccd7d9b05fb1adf5984b62a2

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 67ed43ce8a3245b198953f69dfabd40c2c9635a4ccd7d9b05fb1adf5984b62a2
2. TapBranch(67ed43ce…984b62a2, 46c7eccf…1725e9fa) = ce36b90f140521ef8067bd750ebdfe377141827486ab43aa338969ca9d95e984

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

ce36b90f140521ef8067bd750ebdfe377141827486ab43aa338969ca9d95e984

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

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

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

9f940d2885197b33448b4bf1e5b59428a998f7bfeda80a528ff44ba8d5ce5c0ea8e5d3654202805826725daaf90369775096474b598d0777cde581da96be9fe9