lambdaworks
lambdaworks copied to clipboard
Batch proving and verification for Merkle trees
Description
Addresses #455 by introducing a new BatchProof struct, allowing usage of the same Merkle tree to create batch proofs of inclusion and verification.
Optimizes the number of nodes in the authentication path(s) as the verifier can create some of them using the leaves.
Type of change
- [X] New feature
Checklist
- [X] Linked to Github Issue
- [X] Unit tests added