トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

e3d11d9d9907bf5533681ef57a871ac1d39067ffebeaf473345aa6981d180aaa OP_CHECKSIG

20e3d11d9d9907bf5533681ef57a871ac1d39067ffebeaf473345aa6981d180aaaac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

16a0037d7c9f697516c018366e494c11f2e5b36425566ad67e49533b027d4b36

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 16a0037d7c9f697516c018366e494c11f2e5b36425566ad67e49533b027d4b36
2. TapBranch(16a0037d…027d4b36, 46c7eccf…1725e9fa) = d17084fb55e27258a9072a3617083b296c44e3c3cf3f49525ebd748e5048b9b7

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

d17084fb55e27258a9072a3617083b296c44e3c3cf3f49525ebd748e5048b9b7

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

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

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

e848443a6e0efc9ce1ce60c864f0f3522cc8f8161e026ee83c64a30f65a69bae97f62b59f51d62aa934590fb9f4595d16f35ccbf8d40fa7723827e48a73bf87d