Proving Time, Proof Size, and Optimization Strategies

This lesson is for enrolled learners

The concept You learn which knobs actually move proving time and proof size: constraint count, choice of proving system, witness generation, hardware, and batching or recursion. The lesson teaches you to measure before you rewrite, and to optimize the circuit (unnecessary constraints, bad data structures) before you buy a bigger prover box. Proving performance has at least three numbers: time……

Enroll to continue Already enrolled? Sign in