トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

117f67eac3794cc77070aa59c16e9f7d83d8e4ce7dbbc7c7d58addca1bb0c349 OP_CHECKSIG

20117f67eac3794cc77070aa59c16e9f7d83d8e4ce7dbbc7c7d58addca1bb0c349ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

79d2114ab82117b411041a1dd61816b4a1c309d4a8d4ecf74f1ad9d993446315

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 79d2114ab82117b411041a1dd61816b4a1c309d4a8d4ecf74f1ad9d993446315
2. TapBranch(79d2114a…93446315, 46c7eccf…1725e9fa) = a4082b1cc889523ee81782ed3254120084665f44929f1c17e7d985bf53bbfa97

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

a4082b1cc889523ee81782ed3254120084665f44929f1c17e7d985bf53bbfa97

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

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

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

639b18dfc070f643d798bb1e22d672025800172380972bbccee9e42c20eec4661d8ea3e3bfa3a342e3d4b10ce8086c7b45ebd2dce4796a4ca948a07ea5afba65