Hao Chen

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

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

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