トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

86d0906f8e8229ab2d143ddb716c691d6723b62d7e0bdf04abdb4bf5c039fe4f OP_CHECKSIG

2086d0906f8e8229ab2d143ddb716c691d6723b62d7e0bdf04abdb4bf5c039fe4fac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

e4e36547f37a2d5d20a5c731595bb7f8abcb8649516d19b9d3e9a2379b74983c

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = e4e36547f37a2d5d20a5c731595bb7f8abcb8649516d19b9d3e9a2379b74983c
2. TapBranch(e4e36547…9b74983c, 46c7eccf…1725e9fa) = 6666754781a9e38e5a0783140686ed94046f98caf6abd5799abd151a2b36e453

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

6666754781a9e38e5a0783140686ed94046f98caf6abd5799abd151a2b36e453

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

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

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

dbf026bbdf8fe474005801222a812562914774efdf3fc3de3436182a8b4809b30b42dddd9842def22c6beb227f78e89f120ddb38e99c1b589daaf9321ef26c79