David Levit

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 11

Top Topics

Computational Efficiency

Fast Fourier Transform

Public Key Cryptosystems

Top Venues

IACR Cryptol. ePrint Arch.

Electron. Colloquium Comput. Complex.

Publications

Ulrich Haböck, David Levit, Shahar Papini
Circle STARKs. IACR Cryptol. ePrint Arch. 2024 (2024)
Eli Ben-Sasson, Dan Carmon, Swastik Kopparty, David Levit
) over all Finite Fields. SODA (2023)
Jeremy Avigad, Lior Goldberg, David Levit, Yoav Seginer, Alon Titelman
A Proof-Producing Compiler for Blockchain Applications. ITP (2023)
Eli Ben-Sasson, Dan Carmon, Swastik Kopparty, David Levit
Scalable and Transparent Proofs over All Large Fields, via Elliptic Curves - (ECFFT Part II). TCC (1) (2022)
Jeremy Avigad, Lior Goldberg, David Levit, Yoav Seginer, Alon Titelman
A verified algebraic representation of cairo program execution. CPP (2022)
Eli Ben-Sasson, Dan Carmon, Swastik Kopparty, David Levit
Scalable and Transparent Proofs over All Large Fields, via Elliptic Curves. Electron. Colloquium Comput. Complex. (2022)
Eli Ben-Sasson, Dan Carmon, Swastik Kopparty, David Levit
Scalable and Transparent Proofs over All Large Fields, via Elliptic Curves (ECFFT part II). IACR Cryptol. ePrint Arch. 2022 (2022)
Eli Ben-Sasson, Dan Carmon, Swastik Kopparty, David Levit
Elliptic Curve Fast Fourier Transform (ECFFT) Part I: Fast Polynomial Algorithms over all Finite Fields. Electron. Colloquium Comput. Complex. 28 (2021)
Jeremy Avigad, Lior Goldberg, David Levit, Yoav Seginer, Alon Titelman
A verified algebraic representation of Cairo program execution. CoRR (2021)
Eli Ben-Sasson, Dan Carmon, Swastik Kopparty, David Levit
Elliptic Curve Fast Fourier Transform (ECFFT) Part I: Fast Polynomial Algorithms over all Finite Fields. CoRR (2021)
Eli Ben-Sasson, Lior Goldberg, David Levit
STARK Friendly Hash - Survey and Recommendation. IACR Cryptol. ePrint Arch. 2020 (2020)