Use Block Range Merkle roots to prove Cardano transactions

[jpraynaud]

Why

In order to provide faster proof generation for the Cardano transactions, we need to use Block range Merkle trees roots stored in the databases of the aggregator.

What

Adapt proof generation process to use Block Ranges Merkle roots to prove Cardano transactions.

How

• [ ] Determine the set of block ranges where transactions to prove are located in
• [ ] Stream the transactions for each of the block ranges in the aforementioned set and compute the associated block ranges Merkle trees
• [ ] Retrieve all the block ranges Merkle roots and create a Merkle map with them (same as signature)
• [ ] Replace all the values of the Merkle map associated to the block ranges in the aforementioned set with their corresponding block ranges Merkle trees