トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

74a4edb0081290f416211b528f1af9e8088409c6515aa0fd51312135fc6ebe3c OP_CHECKSIG

2074a4edb0081290f416211b528f1af9e8088409c6515aa0fd51312135fc6ebe3cac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

0233ab618e1c7880fb2208e1490fdade2c831d521b0a7d9ca990c54d67384860

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 0233ab618e1c7880fb2208e1490fdade2c831d521b0a7d9ca990c54d67384860
2. TapBranch(0233ab61…67384860, 46c7eccf…1725e9fa) = abbc17e8dea27d4f9c465dcb3ca7d80096937a7c6d04cb82245e1d77bbae3215

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

abbc17e8dea27d4f9c465dcb3ca7d80096937a7c6d04cb82245e1d77bbae3215

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

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

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

5a3ac0bd4ec29d420d9fdc814ce96b52dfbba874e99c39672a387f4795cee991abecc61027581961d8bad76616e53c8586083cfc86e4082349613aff5a29f957