トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

0912a4be4ced5b86ee2f785cdc02131e4e01aefaacb24e1ce62d45bdf5540b1b OP_CHECKSIG

200912a4be4ced5b86ee2f785cdc02131e4e01aefaacb24e1ce62d45bdf5540b1bac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

e6099fc2b62629157a02bf2fbdf43ba5abbcdc3d26313f1f5033b1ba57a373ed

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = e6099fc2b62629157a02bf2fbdf43ba5abbcdc3d26313f1f5033b1ba57a373ed
2. TapBranch(e6099fc2…57a373ed, 46c7eccf…1725e9fa) = 10f662c79274ede47d626eaeb1396fb29c68ad86160da6243bc10d66b55287ae

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

10f662c79274ede47d626eaeb1396fb29c68ad86160da6243bc10d66b55287ae

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

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

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

3e609a80bfeaf15ce49c1f544d457b1da0dde614361982ac10463effae950b43f912a4a0a84bc92535f45c1b8ed1b4e740d654c3cb7126f0edeb0e9df8eee7a9