トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

545c4307b7640f8d42bd5685b794bcd48f9ffc3f101f4d3ee05d25ea316d7f16 OP_CHECKSIG

20545c4307b7640f8d42bd5685b794bcd48f9ffc3f101f4d3ee05d25ea316d7f16ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

42e4837dc5971ed7b1c66970193e6492179443e1418ed0040cdda86f0831f4bd

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 42e4837dc5971ed7b1c66970193e6492179443e1418ed0040cdda86f0831f4bd
2. TapBranch(42e4837d…0831f4bd, 46c7eccf…1725e9fa) = e6d0e28af3bc868341f66863bafee33e9982ef31ce3d604b84059ee203650c04

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

e6d0e28af3bc868341f66863bafee33e9982ef31ce3d604b84059ee203650c04

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

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

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

cc6ec4c5a48d57bc275f734ef2c9b13a20caed7aa38469a3100cccf8ddb5978a123d0c950294deb65dd4240db8ec7c006bc37d23ce9e4c2ddba590e515079642