The ZKProof Community

Aggregatable proof


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.


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.