STARK Friendly Hash - Survey and Recommendation. - Eli Ben-Sasson; Lior Goldberg; David Levit (IACR Cryptol. ePrint Arch., 2020)

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)

A verified algebraic representation of cairo program execution. - Jeremy Avigad; Lior Goldberg; David Levit; Yoav Seginer; Alon Titelman (CPP, 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)

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)

Elliptic Curve Fast Fourier Transform (ECFFT) Part I: Low-degree Extension in Time O(n log n) over all Finite Fields. - Eli Ben-Sasson; Dan Carmon; Swastik Kopparty; David Levit (SODA, 2023)

Circle STARKs. - Ulrich Haböck; David Levit; Shahar Papini (IACR Cryptol. ePrint Arch., 2024)

A Proof-Producing Compiler for Blockchain Applications. - Jeremy Avigad; Lior Goldberg; David Levit; Yoav Seginer; Alon Titelman (J. Autom. Reason., 2025)