David Levit

According to our database, David Levit authored at least 8 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Circle STARKs.

Ulrich Haböck, David Levit, Shahar Papini

IACR Cryptol. ePrint Arch., 2024

2023

Elliptic Curve Fast Fourier Transform (ECFFT) Part I: Low-degree Extension in Time <i>O(n</i> log <i>n</i>) over all Finite Fields.

Eli Ben-Sasson, Dan Carmon, Swastik Kopparty, David Levit

Proceedings of the 2023 ACM-SIAM Symposium on Discrete Algorithms, 2023

A Proof-Producing Compiler for Blockchain Applications.

Jeremy Avigad, Lior Goldberg, David Levit, Yoav Seginer, Alon Titelman

Proceedings of the 14th International Conference on Interactive Theorem Proving, 2023

2022

Scalable and Transparent Proofs over All Large Fields, via Elliptic Curves (ECFFT part II).

Eli Ben-Sasson, Dan Carmon, Swastik Kopparty, David Levit

IACR Cryptol. ePrint Arch., 2022

Scalable and Transparent Proofs over All Large Fields, via Elliptic Curves.

Eli Ben-Sasson, Dan Carmon, Swastik Kopparty, David Levit

Electron. Colloquium Comput. Complex., 2022

A verified algebraic representation of cairo program execution.

Jeremy Avigad, Lior Goldberg, David Levit, Yoav Seginer, Alon Titelman

Proceedings of the CPP '22: 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, Philadelphia, PA, USA, January 17, 2022

2021

Elliptic Curve Fast Fourier Transform (ECFFT) Part I: Fast Polynomial Algorithms over all Finite Fields.

Eli Ben-Sasson, Dan Carmon, Swastik Kopparty, David Levit

Electron. Colloquium Comput. Complex., 2021

2020

STARK Friendly Hash - Survey and Recommendation.

Eli Ben-Sasson, Lior Goldberg, David Levit

IACR Cryptol. ePrint Arch., 2020