Hao Chen

Orcid: 0009-0009-3675-1344

Affiliations:

Shanghai Jiao Tong University, School of Software, China

According to our database¹, Hao Chen authored at least 4 papers between 2023 and 2026.

Collaborative distances:

Dijkstra number² of five.
Erdős number³ of five.

Timeline

Legend:

Book In proceedings Article PhD thesis Dataset Other

Bibliography

2026

AC4: Algebraic Computation Checker for Circuit Constraints in Zero-Knowledge Proofs.

[BibT_eX]

[DOI]

Formal Aspects Comput., March, 2026

2024

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

[BibT_eX]

[DOI]

Formal Aspects Comput., December, 2024

AC4: Algebraic Computation Checker for Circuit Constraints in ZKPs.

[BibT_eX]

[DOI]

CoRR, 2024

2023

Data-Flow-Based Normalization Generation Algorithm of R1CS for Zero-Knowledge Proof.

[BibT_eX]

[DOI]

Proceedings of the 28th IEEE Pacific Rim International Symposium on Dependable Computing, 2023

Hao Chen

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...