トランザクション

入力 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 以上）。

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

cf9b9b650ddc83a2a6e4bc4909db4d6c49c23bc08275e8dcb6370c921a9f7df9913a4aee8a83499d40c2c34a1cda1608f59c7174ec45b2fa834e5e1092f2ccfd