Roger Taulé

Description

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.