AC4: Algebraic Computation Checker for Circuit Constraints in ZKPs

arXiv:2403.15676v1 Announce Type: cross
Abstract: ZKP systems have surged attention and held a fundamental role in contemporary cryptography. Zk-SNARK protocols dominate the ZKP usage, often implemented through arithmetic circuit programming paradigm. However, underconstrained or overconstrained circuits may lead to bugs. Underconstrained circuits refer to circuits that lack the necessary constraints, resulting in unexpected solutions in the circuit and causing the verifier to accept a bogus witness. Overconstrained circuits refer to circuits that are constrained excessively, resulting in the circuit lacking …

abstract arxiv attention bugs circuits computation constraints cryptography cs.cl cs.cr cs.se however paradigm programming role systems through type usage