トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

cfdfd0fb37083f1ced56d1b5e9a27de166079f85bf2ab4731162a9f074942d74 OP_CHECKSIG

20cfdfd0fb37083f1ced56d1b5e9a27de166079f85bf2ab4731162a9f074942d74ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

4379a9777c0841562d9e89e413d12a579d5a529370b45b20ad0a3cd1e57b5525

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 4379a9777c0841562d9e89e413d12a579d5a529370b45b20ad0a3cd1e57b5525
2. TapBranch(4379a977…e57b5525, 46c7eccf…1725e9fa) = 84711cae9e32063eba14acb7126a73056bc2311f29ebae1a4cf7ede6a4239114

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

84711cae9e32063eba14acb7126a73056bc2311f29ebae1a4cf7ede6a4239114

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

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

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

4c1f28a632d2d5d35d0ff341be41b12d42ce6b5f564a96c31d2abe012e6debc5cad1b0a50cf5d3507fbb7af86399da14c6235f7aa7f1690e161af0293ecf3474