A multi-chain synchronization protocol that leverage zero knowledge proof to minimize communication trust base. - Sinka Gao; Guoqiang Li 001; Hong Fei Fu; Heng Zhang (CoRR, 2022)

ZKWASM: A ZKSNARK WASM Emulator. - Sinka Gao; Guoqiang Li 001; Hongfei Fu 001 (IEEE Trans. Serv. Comput., 2024)

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