トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

a8aa12a3757e046d9b1533aa4302af5703d534c8b225fb3e5935bf2900c27e8e OP_CHECKSIG

20a8aa12a3757e046d9b1533aa4302af5703d534c8b225fb3e5935bf2900c27e8eac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

9d16b9fc0d5941596ff89f946ad06edb9f4c4d3c14352dfe0e3ec74c88f20f36

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 9d16b9fc0d5941596ff89f946ad06edb9f4c4d3c14352dfe0e3ec74c88f20f36
2. TapBranch(9d16b9fc…88f20f36, 46c7eccf…1725e9fa) = 94190689ba81fa5cec2071c254ff4af917304cda1c723b3fa45b7ef5680dd4f1

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

94190689ba81fa5cec2071c254ff4af917304cda1c723b3fa45b7ef5680dd4f1

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

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

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

c4d0945be9f13621bc376f9fa4cc220010d227da9b70c1541e5ebf31814ad72ea8d4d9492f4fd72e4313f924f9f759cb2038f878e9c3877ad608b26bac3e95d7