2 papers
cs.SE2024
AC4: Algebraic Computation Checker for Circuit Constraints in ZKPs
Qizhe Yang, Boxuan Liang, Hao Chen +1
Zero-knowledge proof (ZKP) systems have surged attention and held a fundamental role in contemporary cryptography. Zero-knowledge succinct non-interactive argument of knowledge (zk…
cs.FL2023
Data-Flow-Based Normalization Generation Algorithm of R1CS for Zero-Knowledge Proof
Chenhao Shi, Hao Chen, Ruibang Liu +1
The communities of blockchains and distributed ledgers have been stirred up by the introduction of zero-knowledge proofs (ZKPs). Originally designed to solve privacy issues, ZKPs h…