Consistency Verification for Zero-Knowledge Virtual Machine on Circuit-Irrelevant Representation. - Jingyu Ke; Boxuan Liang; Guoqiang Li 001 (IACR Cryptol. ePrint Arch., 2025)

AC4: Algebraic Computation Checker for Circuit Constraints in Zero-Knowledge Proofs. - Qizhe Yang; Boxuan Liang; Hao Chen 123; Guoqiang Li 001 (Formal Aspects Comput., 2026)