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.
Context ∞ Reducing active circuit size is a primary goal in cryptographic research and blockchain scalability efforts, particularly for ZK-rollups and other zero-knowledge proof applications. Improvements in this area directly contribute to lower transaction costs and faster verification times on decentralized networks. News reports often highlight advancements in proof systems that achieve more compact circuit representations, signaling progress in blockchain efficiency.