ResearchTrend.AI
AC4: Algebraic Computation Checker for Circuit Constraints in ZKPs

AC4: Algebraic Computation Checker for Circuit Constraints in ZKPs

Hao Chen
Minyu Chen
Ruibang Liu
Guoqiang Li
Sinka Gao
ArXivPDFHTML

Papers citing "AC4: Algebraic Computation Checker for Circuit Constraints in ZKPs"

1 / 1 papers shown
Title
Formal Verification of Zero-Knowledge Circuits
Formal Verification of Zero-Knowledge Circuits
A. Coglio
Eric McCarthy
Eric W. Smith
30
6
0
15 Nov 2023