David Levit | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Swastik Kopparty
8 publications
Jeremy Avigad
7 publications
Eli Ben-Sasson
2 publications
Lior Goldberg
2 publications
Dan Carmon
1 publication
Yoav Seginer
1 publication
Alon Titelman
1 publication

research

∙ 09/29/2021

A verified algebraic representation of Cairo program execution

Cryptographic interactive proof systems provide an efficient and scalabl...

0 Jeremy Avigad, et al. ∙

research

∙ 07/18/2021

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

For smooth finite fields F_q (i.e., when q-1 factors into small primes) ...

0 Eli Ben-Sasson, et al. ∙