APA (7th ed.) Citation

Yang, Q., Liang, B., Chen, H., & Li, G. (2024). AC4: Algebraic Computation Checker for Circuit Constraints in ZKPs.

Chicago Style (17th ed.) Citation

Yang, Qizhe, Boxuan Liang, Hao Chen, and Guoqiang Li. AC4: Algebraic Computation Checker for Circuit Constraints in ZKPs. 2024.

MLA (9th ed.) Citation

Yang, Qizhe, et al. AC4: Algebraic Computation Checker for Circuit Constraints in ZKPs. 2024.