Skip to main content

Active Circuit Size

Definition

Active Circuit Size refers to the number of gates within an arithmetic circuit required to represent a computation for a zero-knowledge proof. This metric quantifies the computational work involved in proving a statement in a zero-knowledge system. A smaller active circuit size indicates a more optimized and efficient proof generation process, leading to reduced computational overhead.