Circuit Capacity Checker

The Circuit Capacity Checker (CCC) is a critical component of Zircuit's proving infrastructure that prevents the creation of unprovable transactions and blocks. The CCC ensures the system reliably can generate proofs by validating computational efforts before execution of a transaction.

Without proper validation like the CCC, transactions could create blocks that are impossible to prove with our zkEVM, leading to:

• Network stalls and downtime

• Failed proof generation

• Wasted computational resources

• Poor user experience

As Zircuit explores zkVM integration in future iterations, the role of the Circuit Capacity Checker may evolve and it may not be needed anymore.

If your transaction seems to be stuck or timing out, it might have been blocked by the CCC. You can check if this happened by visiting the Unprovable Transactions page on the block explorer.