Formal Verification of Zero-Knowledge Circuits

15 November 2023

Papers citing "Formal Verification of Zero-Knowledge Circuits"

3 / 3 papers shown

Title
Towards Fuzzing Zero-Knowledge Proof Circuits (Short Paper) Stefanos Chaliasos Imam Al-Fath Alastair Donaldson 226 0 0 21 Apr 2025
AC4: Algebraic Computation Checker for Circuit Constraints in ZKPs Hao Chen Minyu Chen Ruibang Liu Guoqiang Li Sinka Gao 27 0 0 23 Mar 2024
SoK: What don't we know? Understanding Security Vulnerabilities in SNARKs Stefanos Chaliasos Jens Ernstberger David Theodore David Wong Mohammad Jahanara Benjamin Livshits 37 17 0 23 Feb 2024