Michael Riabzev

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

Collaborative distances:

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

2021

Cairo - a Turing-complete STARK-friendly CPU architecture.

Lior Goldberg, Shahar Papini, Michael Riabzev

IACR Cryptol. ePrint Arch., 2021

2019

Computation Verification for Noobs.

Michael Riabzev

PhD thesis, 2019

Linear-Size Constant-Query IOPs for Delegating Computation.

Eli Ben-Sasson, Alessandro Chiesa, Lior Goldberg, Tom Gur, Michael Riabzev, Nicholas Spooner

Proceedings of the Theory of Cryptography - 17th International Conference, 2019

Aurora: Transparent Succinct Arguments for R1CS.

Eli Ben-Sasson, Alessandro Chiesa, Michael Riabzev, Nicholas Spooner, Madars Virza, Nicholas P. Ward

Proceedings of the Advances in Cryptology - EUROCRYPT 2019, 2019

Scalable Zero Knowledge with No Trusted Setup.

Eli Ben-Sasson, Iddo Bentov, Yinon Horesh, Michael Riabzev

Proceedings of the Advances in Cryptology - CRYPTO 2019, 2019

2018

Scalable, transparent, and post-quantum secure computational integrity.

Eli Ben-Sasson, Iddo Bentov, Yinon Horesh, Michael Riabzev

IACR Cryptol. ePrint Arch., 2018

Fast Reed-Solomon Interactive Oracle Proofs of Proximity.

Eli Ben-Sasson, Iddo Bentov, Yinon Horesh, Michael Riabzev

Proceedings of the 45th International Colloquium on Automata, Languages, and Programming, 2018

2017

Zero Knowledge Protocols from Succinct Constraint Detection.

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.

Eli Ben-Sasson, Alessandro Chiesa, Ariel Gabizon, Michael Riabzev, Nicholas Spooner

Proceedings of the 44th International Colloquium on Automata, Languages, and Programming, 2017

Computational Integrity with a Public Random String from Quasi-Linear PCPs.

Eli Ben-Sasson, Iddo Bentov, Alessandro Chiesa, Ariel Gabizon, Daniel Genkin, Matan Hamilis, Evgenya Pergament, Michael Riabzev, Mark Silberstein, Eran Tromer, Madars Virza

Proceedings of the Advances in Cryptology - EUROCRYPT 2017 - 36th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Paris, France, April 30, 2017

2016

Short Interactive Oracle Proofs with Constant Query Complexity, via Composition and Sumcheck.

Eli Ben-Sasson, Alessandro Chiesa, Ariel Gabizon, Michael Riabzev, Nicholas Spooner

Electron. Colloquium Comput. Complex., 2016

On Probabilistic Checking in Perfect Zero Knowledge.

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.

Eli Ben-Sasson, Iddo Bentov, Ariel Gabizon, Michael Riabzev

Electron. Colloquium Comput. Complex., 2016

Improved concrete efficiency and security analysis of Reed-Solomon PCPPs.

Eli Ben-Sasson, Iddo Bentov, Ariel Gabizon, Michael Riabzev

Electron. Colloquium Comput. Complex., 2016