Lior Goldberg | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Swastik Kopparty
8 publications
Jeremy Avigad
7 publications
Shubhangi Saraf
6 publications
Eli Ben-Sasson
2 publications
David Levit
2 publications
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

∙ 03/28/2019

DEEP-FRI: Sampling outside the box improves soundness

Motivated by the quest for scalable and succinct zero knowledge argument...

0 Eli Ben-Sasson, et al. ∙

Success!

An error occurred