Cita APA (7a ed.)

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

Cita Chicago Style (17a ed.)

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

Cita MLA (9a ed.)

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