AC4: Algebraic Computation Checker for Circuit Constraints in ZKPs

Qizhe Yang, Boxuan Liang, Hao Chen +1

Zero-knowledge proof (ZKP) systems have surged attention and held a fundamental role in contemporary cryptography. Zero-knowledge succinct non-interactive argument of knowledge (zk…