トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

14a1d3ebe557ee5edefb3867589af83cd8a7fc2c30acaebdf927fae438f6380e OP_CHECKSIG

2014a1d3ebe557ee5edefb3867589af83cd8a7fc2c30acaebdf927fae438f6380eac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

d47ab424a7b0b53a37344759df9a053c26aca5c895c368cc6d86ff777fe7329f

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = d47ab424a7b0b53a37344759df9a053c26aca5c895c368cc6d86ff777fe7329f
2. TapBranch(d47ab424…7fe7329f, 46c7eccf…1725e9fa) = ad306946d4b25ffff2445a770344ac955b20ec07dc98f4c9f8c797afb5553b37

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

ad306946d4b25ffff2445a770344ac955b20ec07dc98f4c9f8c797afb5553b37

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

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

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

21f4ff6be96397ae984f14bc71ccaf0c106f6c3bb7589998f7b37ead949b76abb18199f011b72ad5cee4c9e0b384fca0b7b50a90e7dfea181b0f53d534a4e1f4