David Levit

13 papers A* 1B 2Journal 9Unranked 1
YearRankTypeTitle / Venue / Authors
2025 J jnl
A Proof-Producing Compiler for Blockchain Applications.
CoRR
Jeremy Avigad, Lior Goldberg, David Levit, Yoav Seginer, Alon Titelman
2025 J jnl
A Proof-Producing Compiler for Blockchain Applications.
J. Autom. Reason.
Jeremy Avigad, Lior Goldberg, David Levit, Yoav Seginer, Alon Titelman
2024 J jnl
Circle STARKs.
IACR Cryptol. ePrint Arch.
Ulrich Haböck, David Levit, Shahar Papini
2023 B conf
A Proof-Producing Compiler for Blockchain Applications.
ITP
Jeremy Avigad, Lior Goldberg, David Levit, Yoav Seginer, Alon Titelman
2023 A* conf
Elliptic Curve Fast Fourier Transform (ECFFT) Part I: Low-degree Extension in Time
SODA
Eli Ben-Sasson, Dan Carmon, Swastik Kopparty, David Levit
2022 B conf
A verified algebraic representation of cairo program execution.
CPP
Jeremy Avigad, Lior Goldberg, David Levit, Yoav Seginer, Alon Titelman
2022 J jnl
Scalable and Transparent Proofs over All Large Fields, via Elliptic Curves (ECFFT part II).
IACR Cryptol. ePrint Arch.
Eli Ben-Sasson, Dan Carmon, Swastik Kopparty, David Levit
2022 — conf
Scalable and Transparent Proofs over All Large Fields, via Elliptic Curves - (ECFFT Part II).
TCC (1)
Eli Ben-Sasson, Dan Carmon, Swastik Kopparty, David Levit
2022 J jnl
Scalable and Transparent Proofs over All Large Fields, via Elliptic Curves.
Electron. Colloquium Comput. Complex.
Eli Ben-Sasson, Dan Carmon, Swastik Kopparty, David Levit
2021 J jnl
A verified algebraic representation of Cairo program execution.
CoRR
Jeremy Avigad, Lior Goldberg, David Levit, Yoav Seginer, Alon Titelman
2021 J jnl
Elliptic Curve Fast Fourier Transform (ECFFT) Part I: Fast Polynomial Algorithms over all Finite Fields.
CoRR
Eli Ben-Sasson, Dan Carmon, Swastik Kopparty, David Levit
2021 J jnl
Elliptic Curve Fast Fourier Transform (ECFFT) Part I: Fast Polynomial Algorithms over all Finite Fields.
Electron. Colloquium Comput. Complex.
Eli Ben-Sasson, Dan Carmon, Swastik Kopparty, David Levit
2020 J jnl
STARK Friendly Hash - Survey and Recommendation.
IACR Cryptol. ePrint Arch.
Eli Ben-Sasson, Lior Goldberg, David Levit