トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

636ce662a9a061ec691781897ba1125f57f0f43bd3882791b4a182f9ebf3fee2 OP_CHECKSIG

20636ce662a9a061ec691781897ba1125f57f0f43bd3882791b4a182f9ebf3fee2ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

7d76ed215926379fa52c235469f72b90b26ca7e7a20e6700e74833bbd5b280b2

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 7d76ed215926379fa52c235469f72b90b26ca7e7a20e6700e74833bbd5b280b2
2. TapBranch(7d76ed21…d5b280b2, 46c7eccf…1725e9fa) = 8d14786fd33f4fbcfdffa2c922a3a640abdfc3aeda8df4a6629831a601f78a60

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

8d14786fd33f4fbcfdffa2c922a3a640abdfc3aeda8df4a6629831a601f78a60

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

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

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

79d8658f25cb2cb882603c50af3406126f789f0b5bd5912e0f03e49ce317f5364567d68e0e5f975e02900c0f089706a4977f0c6633e3e559bed38a7e1a494f42