Yang, Qizhe
- AC4: Algebraic Computation Checker for Circuit Constraints in ZKPs
2024/03/23 by Yang, Qizhe, Hao Chen, Liang, Boxuan +3 · 1 citation
Computer Science · Engineering · #Computation and Language (cs.CL) #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Formal Methods in Verification #Low-power high-performance VLSI design #Radiation Effects in Electronics #Software Engineering (cs.SE)