Michael Riabzev

21 papers A* 2Journal 13Unranked 5
YearRankTypeTitle / Venue / Authors
2021 J jnl
Cairo - a Turing-complete STARK-friendly CPU architecture.
IACR Cryptol. ePrint Arch.
Lior Goldberg, Shahar Papini, Michael Riabzev
2019 — conf
Aurora: Transparent Succinct Arguments for R1CS.
EUROCRYPT (1)
Eli Ben-Sasson, Alessandro Chiesa, Michael Riabzev, Nicholas Spooner, Madars Virza, Nicholas P. Ward
2019 — —
Computation Verification for Noobs.
Michael Riabzev
2019 — conf
Linear-Size Constant-Query IOPs for Delegating Computation.
TCC (2)
Eli Ben-Sasson, Alessandro Chiesa, Lior Goldberg, Tom Gur, Michael Riabzev, Nicholas Spooner
2019 J jnl
Linear-Size Constant-Query IOPs for Delegating Computation.
IACR Cryptol. ePrint Arch.
Eli Ben-Sasson, Alessandro Chiesa, Lior Goldberg, Tom Gur, Michael Riabzev, Nicholas Spooner
2019 — conf
Scalable Zero Knowledge with No Trusted Setup.
CRYPTO (3)
Eli Ben-Sasson, Iddo Bentov, Yinon Horesh, Michael Riabzev
2018 J jnl
Aurora: Transparent Succinct Arguments for R1CS.
IACR Cryptol. ePrint Arch.
Eli Ben-Sasson, Alessandro Chiesa, Michael Riabzev, Nicholas Spooner, Madars Virza, Nicholas P. Ward
2018 A* conf
Fast Reed-Solomon Interactive Oracle Proofs of Proximity.
ICALP
Eli Ben-Sasson, Iddo Bentov, Yinon Horesh, Michael Riabzev
2018 J jnl
Scalable, transparent, and post-quantum secure computational integrity.
IACR Cryptol. ePrint Arch.
Eli Ben-Sasson, Iddo Bentov, Yinon Horesh, Michael Riabzev
2017 — conf
Computational Integrity with a Public Random String from Quasi-Linear PCPs.
EUROCRYPT (3)
Eli Ben-Sasson, Iddo Bentov, Alessandro Chiesa, Ariel Gabizon, Daniel Genkin, Matan Hamilis, Evgenya Pergament, Michael Riabzev, Mark Silberstein, Eran Tromer, Madars Virza
2017 J jnl
Fast Reed-Solomon Interactive Oracle Proofs of Proximity.
Electron. Colloquium Comput. Complex.
Eli Ben-Sasson, Iddo Bentov, Yinon Horesh, Michael Riabzev
2017 A* conf
Interactive Oracle Proofs with Constant Rate and Query Complexity.
ICALP
Eli Ben-Sasson, Alessandro Chiesa, Ariel Gabizon, Michael Riabzev, Nicholas Spooner
2017 — conf
Zero Knowledge Protocols from Succinct Constraint Detection.
TCC (2)
Eli Ben-Sasson, Alessandro Chiesa, Michael A. Forbes, Ariel Gabizon, Michael Riabzev, Nicholas Spooner
2016 J jnl
A security analysis of Probabilistically Checkable Proofs.
Electron. Colloquium Comput. Complex.
Eli Ben-Sasson, Iddo Bentov, Ariel Gabizon, Michael Riabzev
2016 J jnl
Computational integrity with a public random string from quasi-linear PCPs.
IACR Cryptol. ePrint Arch.
Eli Ben-Sasson, Iddo Bentov, Alessandro Chiesa, Ariel Gabizon, Daniel Genkin, Matan Hamilis, Evgenya Pergament, Michael Riabzev, Mark Silberstein, Eran Tromer, Madars Virza
2016 J jnl
Improved concrete efficiency and security analysis of Reed-Solomon PCPPs.
Electron. Colloquium Comput. Complex.
Eli Ben-Sasson, Iddo Bentov, Ariel Gabizon, Michael Riabzev
2016 J jnl
On Probabilistic Checking in Perfect Zero Knowledge.
CoRR
Eli Ben-Sasson, Alessandro Chiesa, Michael A. Forbes, Ariel Gabizon, Michael Riabzev, Nicholas Spooner
2016 J jnl
On Probabilistic Checking in Perfect Zero Knowledge.
Electron. Colloquium Comput. Complex.
Eli Ben-Sasson, Alessandro Chiesa, Michael A. Forbes, Ariel Gabizon, Michael Riabzev, Nicholas Spooner
2016 J jnl
On Probabilistic Checking in Perfect Zero Knowledge.
IACR Cryptol. ePrint Arch.
Eli Ben-Sasson, Alessandro Chiesa, Michael A. Forbes, Ariel Gabizon, Michael Riabzev, Nicholas Spooner
2016 J jnl
Short Interactive Oracle Proofs with Constant Query Complexity, via Composition and Sumcheck.
Electron. Colloquium Comput. Complex.
Eli Ben-Sasson, Alessandro Chiesa, Ariel Gabizon, Michael Riabzev, Nicholas Spooner
2016 J jnl
Short Interactive Oracle Proofs with Constant Query Complexity, via Composition and Sumcheck.
IACR Cryptol. ePrint Arch.
Eli Ben-Sasson, Alessandro Chiesa, Ariel Gabizon, Michael Riabzev, Nicholas Spooner