トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

7a5a95e4e01d006ddde3882b13343770d48e6eadddd6705b0a6ea4cb05e2a5b3 OP_CHECKSIG

207a5a95e4e01d006ddde3882b13343770d48e6eadddd6705b0a6ea4cb05e2a5b3ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

beda69261eb44437db24085af1fb825d18763849ff9c15ce1123e3953f68075c

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = beda69261eb44437db24085af1fb825d18763849ff9c15ce1123e3953f68075c
2. TapBranch(beda6926…3f68075c, 46c7eccf…1725e9fa) = 27202a18a8079d61b411e630ce34a1eab9a0ce52c78fc61fdca3e6b040d0504c

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

27202a18a8079d61b411e630ce34a1eab9a0ce52c78fc61fdca3e6b040d0504c

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

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

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

67acbc0c0101039986e98cf252c8bd1998b58b103916fe04816cce332024221ebc97e03a4edbd0ebc88df4ad49e7bfa5a113551b839adc1d9c315b56e6947cd1