Improved concrete efficiency and security analysis of Reed-Solomon PCPPs. - Eli Ben-Sasson; Iddo Bentov; Ariel Gabizon; Michael Riabzev (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)

On Probabilistic Checking in Perfect Zero Knowledge. - Eli Ben-Sasson; Alessandro Chiesa; Michael A. Forbes 001; Ariel Gabizon; Michael Riabzev; Nicholas Spooner (Electron. Colloquium Comput. Complex., 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)

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 (IACR Cryptol. ePrint Arch., 2016)

Interactive Oracle Proofs with Constant Rate and Query Complexity. - Eli Ben-Sasson; Alessandro Chiesa; Ariel Gabizon; Michael Riabzev; Nicholas Spooner (ICALP, 2017)

Zero Knowledge Protocols from Succinct Constraint Detection. - Eli Ben-Sasson; Alessandro Chiesa; Michael A. Forbes 001; Ariel Gabizon; Michael Riabzev; Nicholas Spooner (TCC (2), 2017)

Fast Reed-Solomon Interactive Oracle Proofs of Proximity. - Eli Ben-Sasson; Iddo Bentov; Yinon Horesh; Michael Riabzev (Electron. Colloquium Comput. Complex., 2017)

Scalable, transparent, and post-quantum secure computational integrity. - Eli Ben-Sasson; Iddo Bentov; Yinon Horesh; Michael Riabzev (IACR Cryptol. ePrint Arch., 2018)

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

Scalable Zero Knowledge with No Trusted Setup. - Eli Ben-Sasson; Iddo Bentov; Yinon Horesh; Michael Riabzev (CRYPTO (3), 2019)

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

Computation Verification for Noobs. - Michael Riabzev (2019)

Cairo - a Turing-complete STARK-friendly CPU architecture. - Lior Goldberg; Shahar Papini; Michael Riabzev (IACR Cryptol. ePrint Arch., 2021)