Prover Systems and Hardware

This lesson is for enrolled learners

Having a correct circuit (the previous lesson's topic) is only half the battle — someone still has to run the proving algorithm against the circuit and the actual batch of transactions to generate a proof, and this step, called proof generation, is computationally expensive in a way that's easy to underestimate. Generating a proof for a batch with millions of……

Enroll to continue Already enrolled? Sign in