トランザクション

入力 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 以上）。

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

7d89da8112906b66b6c047c567b377c4d3ab13873f9c739c39fe2ec442ebfb0b9da74982a874107e574f73a38e0a33815436b8d30679c2bcd4b16e9bd08837fc