We stand with Ukraine  

Michael Riabzev

According to our database1, Michael Riabzev authored at least 14 papers between 2016 and 2021.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

2016
2017
2018
2019
2020
2021
0
1
2
3
4
5
6
1
1
2
1
5
1
2
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2021
Cairo - a Turing-complete STARK-friendly CPU architecture.
[BibTeX]
[DOI]
Lior Goldberg
,
Shahar Papini
,
Michael Riabzev
IACR Cryptol. ePrint Arch., 2021

2019
Computation Verification for Noobs.
[BibTeX]
[DOI]
Michael Riabzev
PhD thesis, 2019

Linear-Size Constant-Query IOPs for Delegating Computation.
[BibTeX]
[DOI]
Eli Ben-Sasson
,
Alessandro Chiesa
,
Lior Goldberg
,
Tom Gur
,
Michael Riabzev
,
Nicholas Spooner
IACR Cryptol. ePrint Arch., 2019

Scalable Zero Knowledge with No Trusted Setup.
[BibTeX]
[DOI]
Eli Ben-Sasson
,
Iddo Bentov
,
Yinon Horesh
,
Michael Riabzev
Proceedings of the Advances in Cryptology - CRYPTO 2019, 2019

2018
Aurora: Transparent Succinct Arguments for R1CS.
[BibTeX]
[DOI]
Eli Ben-Sasson
,
Alessandro Chiesa
,
Michael Riabzev
,
Nicholas Spooner
,
Madars Virza
,
Nicholas P. Ward
IACR Cryptol. ePrint Arch., 2018

Scalable, transparent, and post-quantum secure computational integrity.
[BibTeX]
[DOI]
Eli Ben-Sasson
,
Iddo Bentov
,
Yinon Horesh
,
Michael Riabzev
IACR Cryptol. ePrint Arch., 2018

2017
Fast Reed-Solomon Interactive Oracle Proofs of Proximity.
[BibTeX]
[DOI]
Eli Ben-Sasson
,
Iddo Bentov
,
Yinon Horesh
,
Michael Riabzev
Electron. Colloquium Comput. Complex., 2017

Zero Knowledge Protocols from Succinct Constraint Detection.
[BibTeX]
[DOI]
Eli Ben-Sasson
,
Alessandro Chiesa
,
Michael A. Forbes
,
Ariel Gabizon
,
Michael Riabzev
,
Nicholas Spooner
Proceedings of the Theory of Cryptography - 15th International Conference, 2017

Interactive Oracle Proofs with Constant Rate and Query Complexity.
[BibTeX]
[DOI]
Eli Ben-Sasson
,
Alessandro Chiesa
,
Ariel Gabizon
,
Michael Riabzev
,
Nicholas Spooner
Proceedings of the 44th International Colloquium on Automata, Languages, and Programming, 2017

2016
Computational integrity with a public random string from quasi-linear PCPs.
[BibTeX]
[DOI]
Eli Ben-Sasson
,
Iddo Bentov
,
Alessandro Chiesa
,
Ariel Gabizon
,
Daniel Genkin
,
Matan Hamilis
,
Evgenya Pergament
,
Michael Riabzev
,
Mark Silberstein
,
Eran Tromer
,
Madars Virza
IACR Cryptol. ePrint Arch., 2016

Short Interactive Oracle Proofs with Constant Query Complexity, via Composition and Sumcheck.
[BibTeX]
[DOI]
Eli Ben-Sasson
,
Alessandro Chiesa
,
Ariel Gabizon
,
Michael Riabzev
,
Nicholas Spooner
Electron. Colloquium Comput. Complex., 2016

On Probabilistic Checking in Perfect Zero Knowledge.
[BibTeX]
[DOI]
Eli Ben-Sasson
,
Alessandro Chiesa
,
Michael A. Forbes
,
Ariel Gabizon
,
Michael Riabzev
,
Nicholas Spooner
Electron. Colloquium Comput. Complex., 2016

A security analysis of Probabilistically Checkable Proofs.
[BibTeX]
[DOI]
Eli Ben-Sasson
,
Iddo Bentov
,
Ariel Gabizon
,
Michael Riabzev
Electron. Colloquium Comput. Complex., 2016

Improved concrete efficiency and security analysis of Reed-Solomon PCPPs.
[BibTeX]
[DOI]
Eli Ben-Sasson
,
Iddo Bentov
,
Ariel Gabizon
,
Michael Riabzev
Electron. Colloquium Comput. Complex., 2016


  Loading...