Search Results for author: Sinka Gao

Found 1 papers, 0 papers with code

AC4: Algebraic Computation Checker for Circuit Constraints in ZKPs

no code implementations23 Mar 2024 Hao Chen, Minyu Chen, Ruibang Liu, Guoqiang Li, Sinka Gao

ZKP systems have surged attention and held a fundamental role in contemporary cryptography.

Cannot find the paper you are looking for? You can Submit a new open access paper.