Aggregatable proof

Hi,

May I ask that whether there exists some zkProof system, that makes proof aggregatable? So that we can make multiple proofs with different primary_inputs aggregated into one with fixed size.

Thanks!

2 Likes

Not entirely the same as aggregating, but there are recursive zk-snarks such as in coda and halo, these can prove older proofs recursively, so you only need one proof in the end.

1 Like