トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

1775d25ddcce8553494d512ba669c039d97a72fec0b5f84e19aaf4edab83a472 OP_CHECKSIG

201775d25ddcce8553494d512ba669c039d97a72fec0b5f84e19aaf4edab83a472ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

8c003f6287b6c3af3fc7e8f9c8835b79a178c3d910d72a7984b51b58f7519a9b

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 8c003f6287b6c3af3fc7e8f9c8835b79a178c3d910d72a7984b51b58f7519a9b
2. TapBranch(8c003f62…f7519a9b, 46c7eccf…1725e9fa) = 2de16506aaee49b429e70a69ed5d53ab9b8cdd2843ede7aab1ebde5a9eedee83

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

2de16506aaee49b429e70a69ed5d53ab9b8cdd2843ede7aab1ebde5a9eedee83

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

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

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

bb99a3133d39751642f00ab90db74f9afbb83be7590f15de075c014ab98c23d6008304aaefec88bf3ef06005c3e80e8462d3aaa712379a1597990728be67676c