Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2405.12115
Cited By
Clap: a Semantic-Preserving Optimizing eDSL for Plonkish Proof Systems
20 May 2024
Marco Stronati
Denis Firsov
Antonio Locascio
Benjamin Livshits
Re-assign community
ArXiv
PDF
HTML
Papers citing
"Clap: a Semantic-Preserving Optimizing eDSL for Plonkish Proof Systems"
2 / 2 papers shown
Title
Towards Fuzzing Zero-Knowledge Proof Circuits (Short Paper)
Stefanos Chaliasos
Imam Al-Fath
Alastair Donaldson
217
0
0
21 Apr 2025
A verified algebraic representation of Cairo program execution
J. Avigad
Lior Goldberg
D. Levit
Y. Seginer
Alon Titelman
18
8
0
29 Sep 2021
1
