Data-Flow-Based Normalization Generation Algorithm of R1CS for Zero-Knowledge Proof. - Chenhao Shi; Hao Chen 123; Ruibang Liu; Guoqiang Li 001 (PRDC, 2023)

AC4: Algebraic Computation Checker for Circuit Constraints in ZKPs. - Hao Chen 123; Minyu Chen; Ruibang Liu; Guoqiang Li 001 (CoRR, 2024)

RNA: R1CS Normalization Algorithm Based on Data Flow Graphs for Zero-Knowledge Proofs. - Chenhao Shi; Ruibang Liu; Hao Chen 123; Guoqiang Li 001; Sinka Gao (Formal Aspects Comput., 2024)