トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

f9904476a1f287821e7e3d519752fdb3672b6accdf23e0797e2c4c5fc7755f50 OP_CHECKSIG

20f9904476a1f287821e7e3d519752fdb3672b6accdf23e0797e2c4c5fc7755f50ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

d0708cc60fc8419efcd2b3ab83b1ebbb1a3e9160f165c0c49442119dd4f22d6c

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = d0708cc60fc8419efcd2b3ab83b1ebbb1a3e9160f165c0c49442119dd4f22d6c
2. TapBranch(d0708cc6…d4f22d6c, 46c7eccf…1725e9fa) = ff93125f8a9b297af4e28d77fe6872c355443f7fd51f293bfe1f0b8e0370c58d

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

ff93125f8a9b297af4e28d77fe6872c355443f7fd51f293bfe1f0b8e0370c58d

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

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

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

4e154b2bbee797f41e8b6b00745a05fc5963506187c5271de45ac40346e7dfe54d329450ba490b2ba0bacb54421b28b84d0133582da3dc396528d62e854377e1