SoK: What don't we know? Understanding Security Vulnerabilities in SNARKs

23 February 2024

Papers citing "SoK: What don't we know? Understanding Security Vulnerabilities in SNARKs"

8 / 8 papers shown

Title
Towards Fuzzing Zero-Knowledge Proof Circuits (Short Paper) Stefanos Chaliasos Imam Al-Fath Alastair Donaldson 217 0 0 21 Apr 2025
SoK: Understanding zk-SNARKs: The Gap Between Research and Practice Junkai Liang Daqi Hu Pengfei Wu Yunbo Yang Qingni Shen Zhonghai Wu 75 1 0 04 Feb 2025
Fuzzing Processing Pipelines for Zero-Knowledge Circuits Christoph Hochrainer Anastasia Isychev Valentin Wüstholz M. Christakis 28 2 0 04 Nov 2024
Empowering Visual Artists with Tokenized Digital Assets with NFTs Ruiqiang Li Brian Yecies Qin Wang Shiping Chen Jun Shen 37 0 0 18 Sep 2024
Towards a Formal Foundation for Blockchain Rollups Stefanos Chaliasos Denis Firsov Benjamin Livshits 41 8 0 23 Jun 2024
The Writing is on the Wall: Analyzing the Boom of Inscriptions and its Impact on EVM-compatible Blockchains Johnnatan Messias Krzysztof Gogol Maria Ines Silva Benjamin Livshits 37 3 0 24 May 2024
Clap: a Semantic-Preserving Optimizing eDSL for Plonkish Proof Systems Marco Stronati Denis Firsov Antonio Locascio Benjamin Livshits 19 1 0 20 May 2024
Formal Verification of Zero-Knowledge Circuits A. Coglio Eric McCarthy Eric W. Smith 16 6 0 15 Nov 2023