Sinka Gao

According to our database, Sinka Gao authored at least 3 papers between 2022 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2024

RNA: R1CS Normalization Algorithm Based on Data Flow Graphs for Zero-Knowledge Proofs.

Chenhao Shi, Ruibang Liu, Hao Chen, Guoqiang Li, Sinka Gao

Formal Aspects Comput., December, 2024

ZKWASM: A ZKSNARK WASM Emulator.

Sinka Gao, Guoqiang Li, Hongfei Fu

IEEE Trans. Serv. Comput., 2024

2022

A multi-chain synchronization protocol that leverage zero knowledge proof to minimize communication trust base.

Sinka Gao, Guoqiang Li, Hong Fei Fu, Heng Zhang

CoRR, 2022