Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2109.14534
Cited By
A verified algebraic representation of Cairo program execution
29 September 2021
J. Avigad
Lior Goldberg
D. Levit
Y. Seginer
Alon Titelman
Re-assign community
ArXiv
PDF
HTML
Papers citing
"A verified algebraic representation of Cairo program execution"
2 / 2 papers shown
Title
A Proof-Producing Compiler for Blockchain Applications
J. Avigad
Lior Goldberg
D. Levit
Y. Seginer
Alon Titelman
34
0
0
28 Jan 2025
Clap: a Semantic-Preserving Optimizing eDSL for Plonkish Proof Systems
Marco Stronati
Denis Firsov
Antonio Locascio
Benjamin Livshits
30
1
0
20 May 2024
1
