Multi-txoutputs proof for tx ouputs in the same block.

[yangby-cryptape]

Description

The bitcoin output proof¹ supports multi-outputs to be proven in single proof.²

How to implement this?

• First, a new struct for the proof struct is required.

  https://github.com/ckb-cell/ckb-bitcoin-spv/blob/27953a4c6b1e898396c47091a6b5bc03c782a238/verifier/schemas/types.mol#L75-L80

  Multi-indexes should be contained in the proof.

• Then, update the existed API or create a new API to verify the outputs.³

  https://github.com/ckb-cell/ckb-bitcoin-spv/blob/27953a4c6b1e898396c47091a6b5bc03c782a238/verifier/src/types/extension/packed.rs#L319-L329

  https://github.com/ckb-cell/ckb-bitcoin-spv/blob/27953a4c6b1e898396c47091a6b5bc03c782a238/verifier/src/types/extension/packed.rs#L334-L347

Footnotes

1. Partial merkle tree in official Bitcoin implementation ↩

2. RPC method gettxoutproof ↩

3. Verify outputs with rust API ↩