zkVM Proof Aggregation: From Zero to Hero

Proof aggregation compresses multiple proofs into one, revolutionizing proving frameworks. In this talk, I’ll show how this concept generalizes to sharding programs into smaller pieces, enabling efficient proof generation and verification in zkVMs.