Alessandro Chiesa

ORCID

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 112

Top Venues

IACR Cryptol. ePrint Arch.

Electron. Colloquium Comput. Complex.

CoRR

EUROCRYPT (2)

Massachusetts Institute of Technology, Cambridge, MA, USA (PHD)

Education History

Massachusetts Institute of Technology, Cambridge, MA, USA

PHD

Publications

Alessandro Chiesa, Elisabetta Fedele, Giacomo Fenzi, Andrew Zitek-Estrada
A Time-Space Tradeoff for the Sumcheck Prover. IACR Cryptol. ePrint Arch. 2024 (2024)
Gal Arnon, Alessandro Chiesa, Giacomo Fenzi, Eylon Yogev
STIR: Reed-Solomon Proximity Testing with Fewer Queries. CRYPTO (10) (2024)
Alessandro Chiesa, Ziyi Guan, Burcu Yildiz
On Parallel Repetition of PCPs. ITCS (2024)
Annalisa Barbara, Alessandro Chiesa, Ziyi Guan
Relativized Succinct Arguments in the ROM Do Not Exist. IACR Cryptol. ePrint Arch. 2024 (2024)
Alessandro Chiesa, Giacomo Fenzi
zkSNARKs in the ROM with Unconditional UC-Security. IACR Cryptol. ePrint Arch. 2024 (2024)
Gal Arnon, Alessandro Chiesa, Giacomo Fenzi, Eylon Yogev
STIR: Reed-Solomon Proximity Testing with Fewer Queries. IACR Cryptol. ePrint Arch. 2024 (2024)
Jonathan Bootle, Alessandro Chiesa, Katerina Sotiraki
Lattice-Based Succinct Arguments for NP with Polylogarithmic-Time Verification. IACR Cryptol. ePrint Arch. 2023 (2023)
Alessandro Chiesa, Ziyi Guan, Burcu Yildiz
On Parallel Repetition of PCPs. IACR Cryptol. ePrint Arch. 2023 (2023)
Jonathan Bootle, Alessandro Chiesa, Katerina Sotiraki
Lattice-Based Succinct Arguments for NP with Polylogarithmic-Time Verification. CRYPTO (2) (2023)
Gal Arnon, Alessandro Chiesa, Eylon Yogev
IOPs with Inverse Polynomial Soundness Error. FOCS (2023)
Alessandro Chiesa, Marcel Dall'Agnol, Ziyi Guan, Nicholas Spooner
Concrete Security for Succinct Arguments from Vector Commitments. IACR Cryptol. ePrint Arch. 2023 (2023)
Megan Chen, Alessandro Chiesa, Tom Gur, Jack O'Connor, Nicholas Spooner
Proof-Carrying Data From Arithmetized Random Oracles. IACR Cryptol. ePrint Arch. 2023 (2023)
Alessandro Chiesa, Ziyi Guan, Shahar Samocha, Eylon Yogev
Security Bounds for Proof-Carrying Data from Straightline Extractors. IACR Cryptol. ePrint Arch. 2023 (2023)
Gal Arnon, Alessandro Chiesa, Eylon Yogev
IOPs with Inverse Polynomial Soundness Error. IACR Cryptol. ePrint Arch. 2023 (2023)
Alessandro Chiesa, Ryan Lehmkuhl, Pratyush Mishra, Yinuo Zhang
Eos: Efficient Private Delegation of zkSNARK Provers. USENIX Security Symposium (2023)
Megan Chen, Alessandro Chiesa, Tom Gur, Jack O'Connor, Nicholas Spooner
Proof-Carrying Data from Arithmetized Random Oracles. EUROCRYPT (2) (2023)
Jonathan Bootle, Alessandro Chiesa, Yuncong Hu, Michele Orrù
Gemini: Elastic SNARKs for Diverse Environments. EUROCRYPT (2) (2022)
Gal Arnon, Alessandro Chiesa, Eylon Yogev
Hardness of Approximation for Stochastic Problems via Interactive Oracle Proofs. CCC (2022)
Megan Chen, Alessandro Chiesa, Nicholas Spooner
On Succinct Non-Interactive Arguments in Relativized Worlds. IACR Cryptol. ePrint Arch. 2022 (2022)
Gal Arnon, Amey Bhangale, Alessandro Chiesa, Eylon Yogev
A Toolbox for Barriers on Interactive Oracle Proofs. TCC (1) (2022)
Gal Arnon, Alessandro Chiesa, Eylon Yogev
A PCP Theorem for Interactive Proofs and Applications. EUROCRYPT (2) (2022)
Gal Arnon, Alessandro Chiesa, Eylon Yogev
Hardness of Approximation for Stochastic Problems via Interactive Oracle Proofs. IACR Cryptol. ePrint Arch. 2022 (2022)
Nir Bitansky, Alessandro Chiesa, Yuval Ishai, Rafail Ostrovsky, Omer Paneth
Succinct Non-Interactive Arguments via Linear Interactive Proofs. J. Cryptol. 35 (3) (2022)
Alessandro Chiesa, Tom Gur, Igor Shinkar
Relaxed Locally Correctable Codes with Nearly-Linear Block Length and Constant Query Complexity. SIAM J. Comput. 51 (6) (2022)
Jonathan Bootle, Alessandro Chiesa, Yuncong Hu, Michele Orrù
Gemini: Elastic SNARKs for Diverse Environments. IACR Cryptol. ePrint Arch. 2022 (2022)
Alessandro Chiesa, Michael A. Forbes, Tom Gur, Nicholas Spooner
Spatial Isolation Implies Zero Knowledge Even in a Quantum World. J. ACM 69 (2) (2022)
Alessandro Chiesa, Fermi Ma, Nicholas Spooner, Mark Zhandry
Post-Quantum Succinct Arguments: Breaking the Quantum Rewinding Barrier. FOCS (2022)
Jonathan Bootle, Alessandro Chiesa, Ziyi Guan, Siqi Liu
Linear-Time Probabilistic Proofs with Sublinear Verification for Algebraic Automata Over Every Field. IACR Cryptol. ePrint Arch. 2022 (2022)
Jonathan Bootle, Alessandro Chiesa, Siqi Liu
Zero-Knowledge IOPs with Linear-Time Prover and Polylogarithmic-Time Verifier. EUROCRYPT (2) (2022)
Gal Arnon, Amey Bhangale, Alessandro Chiesa, Eylon Yogev
A Toolbox for Barriers on Interactive Oracle Proofs. IACR Cryptol. ePrint Arch. 2022 (2022)
Megan Chen, Alessandro Chiesa, Nicholas Spooner
On Succinct Non-interactive Arguments in Relativized Worlds. EUROCRYPT (2) (2022)
Alessandro Chiesa, Eylon Yogev
Subquadratic SNARGs in the Random Oracle Model. IACR Cryptol. ePrint Arch. 2021 (2021)
Alessandro Chiesa, Fermi Ma, Nicholas Spooner, Mark Zhandry
Post-Quantum Succinct Arguments. CoRR (2021)
Gal Arnon, Alessandro Chiesa, Eylon Yogev
A PCP Theorem for Interactive Proofs. IACR Cryptol. ePrint Arch. 2021 (2021)
Alessandro Chiesa, Eylon Yogev
Tight Security Bounds for Micali's SNARGs. TCC (1) (2021)
Alessandro Chiesa, Eylon Yogev
Subquadratic SNARGs in the Random Oracle Model. CRYPTO (1) (2021)
Alessandro Chiesa, Fermi Ma, Nicholas Spooner, Mark Zhandry
Post-Quantum Succinct Arguments. Electron. Colloquium Comput. Complex. 28 (2021)
Alessandro Chiesa, Fermi Ma, Nicholas Spooner, Mark Zhandry
Post-Quantum Succinct Arguments: Breaking the Quantum Rewinding Barrier. FOCS (2021)
Jonathan Bootle, Alessandro Chiesa, Katerina Sotiraki
Sumcheck Arguments and their Applications. IACR Cryptol. ePrint Arch. 2021 (2021)
Alessandro Chiesa, Eylon Yogev
Tight Security Bounds for Micali's SNARGs. IACR Cryptol. ePrint Arch. 2021 (2021)
Alessandro Chiesa, Fermi Ma, Nicholas Spooner, Mark Zhandry
Post-Quantum Succinct Arguments. IACR Cryptol. ePrint Arch. 2021 (2021)
Benedikt Bünz, Alessandro Chiesa, William Lin, Pratyush Mishra, Nicholas Spooner
Proof-Carrying Data Without Succinct Arguments. CRYPTO (1) (2021)
Jonathan Bootle, Alessandro Chiesa, Katerina Sotiraki
Sumcheck Arguments and Their Applications. CRYPTO (1) (2021)
Alessandro Chiesa, Eylon Yogev
Barriers for Succinct Arguments in the Random Oracle Model. IACR Cryptol. ePrint Arch. 2020 (2020)
Jonathan Bootle, Alessandro Chiesa, Siqi Liu
Zero-Knowledge Succinct Arguments with a Linear-Time Prover. IACR Cryptol. ePrint Arch. 2020 (2020)
Benedikt Bünz, Alessandro Chiesa, Pratyush Mishra, Nicholas Spooner
Proof-Carrying Data from Accumulation Schemes. IACR Cryptol. ePrint Arch. 2020 (2020)
Alessandro Chiesa, Tom Gur, Igor Shinkar
Relaxed Locally Correctable Codes with Nearly-Linear Block Length and Constant Query Complexity. SODA (2020)
Alessandro Chiesa, Dev Ojha, Nicholas Spooner
Fractal: Post-quantum and Transparent Recursive Proofs from Holography. EUROCRYPT (1) (2020)
Benedikt Bünz, Alessandro Chiesa, William Lin, Pratyush Mishra, Nicholas Spooner
Proof-Carrying Data without Succinct Arguments. IACR Cryptol. ePrint Arch. 2020 (2020)
Alessandro Chiesa, Eylon Yogev
Barriers for Succinct Arguments in the Random Oracle Model. TCC (2) (2020)
Sean Bowe, Alessandro Chiesa, Matthew Green, Ian Miers, Pratyush Mishra, Howard Wu
ZEXE: Enabling Decentralized Private Computation. IEEE Symposium on Security and Privacy (2020)
Jonathan Bootle, Alessandro Chiesa, Jens Groth
Linear-Time Arguments with Sublinear Verification from Tensor Codes. TCC (2) (2020)
Alessandro Chiesa, Peter Manohar, Igor Shinkar
Testing Linearity against Non-signaling Strategies. ACM Trans. Comput. Theory 12 (3) (2020)
Benedikt Bünz, Alessandro Chiesa, Pratyush Mishra, Nicholas Spooner
Recursive Proof Composition from Accumulation Schemes. TCC (2) (2020)
Alessandro Chiesa, Yuncong Hu, Mary Maller, Pratyush Mishra, Noah Vesely, Nicholas P. Ward
Marlin: Preprocessing zkSNARKs with Universal and Updatable SRS. EUROCRYPT (1) (2020)
Jonathan Bootle, Alessandro Chiesa, Jens Groth
Linear-Time Arguments with Sublinear Verification from Tensor Codes. IACR Cryptol. ePrint Arch. 2020 (2020)
Alessandro Chiesa, Peter Manohar, Igor Shinkar
On Axis-Parallel Tests for Tensor Product Codes. Theory Comput. 16 (2020)
Alessandro Chiesa, Tom Gur, Igor Shinkar
Relaxed Locally Correctable Codes with Nearly-Linear Block Length and Constant Query Complexity. Electron. Colloquium Comput. Complex. 27 (2020)
Weikeng Chen, Alessandro Chiesa, Emma Dauterman, Nicholas P. Ward
Reducing Participation Costs via Incremental Verification for Ledger Systems. IACR Cryptol. ePrint Arch. 2020 (2020)
Alessandro Chiesa, Peter Manohar, Igor Shinkar
On Local Testability in the Non-Signaling Setting. ITCS (2020)
Alessandro Chiesa, Siqi Liu
On the Impossibility of Probabilistic Proofs in Relativized Worlds. ITCS (2020)
Alessandro Chiesa, Siqi Liu
On the Impossibility of Probabilistic Proofs in Relativized Worlds. IACR Cryptol. ePrint Arch. 2019 (2019)
Alessandro Chiesa, Dev Ojha, Nicholas Spooner
Fractal: Post-Quantum and Transparent Recursive Proofs from Holography. IACR Cryptol. ePrint Arch. 2019 (2019)
Eli Ben-Sasson, Alessandro Chiesa, Lior Goldberg, Tom Gur, Michael Riabzev, Nicholas Spooner
Linear-Size Constant-Query IOPs for Delegating Computation. IACR Cryptol. ePrint Arch. 2019 (2019)
Alessandro Chiesa, Yuncong Hu, Mary Maller, Pratyush Mishra, Noah Vesely, Nicholas P. Ward
Marlin: Preprocessing zkSNARKs with Universal and Updatable SRS. IACR Cryptol. ePrint Arch. 2019 (2019)
Eli Ben-Sasson, Alessandro Chiesa, Michael Riabzev, Nicholas Spooner, Madars Virza, Nicholas P. Ward
Aurora: Transparent Succinct Arguments for R1CS. EUROCRYPT (1) (2019)
Alessandro Chiesa, Lynn Chua, Matthew Weidner
On Cycles of Pairing-Friendly Elliptic Curves. SIAM J. Appl. Algebra Geom. 3 (2) (2019)
Eli Ben-Sasson, Alessandro Chiesa, Lior Goldberg, Tom Gur, Michael Riabzev, Nicholas Spooner
Linear-Size Constant-Query IOPs for Delegating Computation. TCC (2) (2019)
Alessandro Chiesa, Peter Manohar, Nicholas Spooner
Succinct Arguments in the Quantum Random Oracle Model. IACR Cryptol. ePrint Arch. 2019 (2019)
Alessandro Chiesa, Peter Manohar, Igor Shinkar
Probabilistic Checking Against Non-Signaling Strategies from Linearity Testing. ITCS (2019)
Alessandro Chiesa, Peter Manohar, Igor Shinkar
On Local Testability in the Non-Signaling Setting. Electron. Colloquium Comput. Complex. 26 (2019)
Alessandro Chiesa, Peter Manohar, Nicholas Spooner
Succinct Arguments in the Quantum Random Oracle Model. TCC (2) (2019)
Alessandro Chiesa, Peter Manohar, Igor Shinkar
Testing Linearity against Non-Signaling Strategies. Computational Complexity Conference (2018)
Pratyush Mishra, Rishabh Poddar, Jerry Chen, Alessandro Chiesa, Raluca Ada Popa
Oblix: An Efficient Oblivious Search Index. IEEE Symposium on Security and Privacy (2018)
Sean Bowe, Alessandro Chiesa, Matthew Green, Ian Miers, Pratyush Mishra, Howard Wu
Zexe: Enabling Decentralized Private Computation. IACR Cryptol. ePrint Arch. 2018 (2018)
Eli Ben-Sasson, Alessandro Chiesa, Michael Riabzev, Nicholas Spooner, Madars Virza, Nicholas P. Ward
Aurora: Transparent Succinct Arguments for R1CS. IACR Cryptol. ePrint Arch. 2018 (2018)
Howard Wu, Wenting Zheng, Alessandro Chiesa, Raluca Ada Popa, Ion Stoica
DIZK: A Distributed Zero Knowledge Proof System. USENIX Security Symposium (2018)
Alessandro Chiesa, Tom Gur
Proofs of Proximity for Distribution Testing. ITCS (2018)
Howard Wu, Wenting Zheng, Alessandro Chiesa, Raluca Ada Popa, Ion Stoica
DIZK: A Distributed Zero Knowledge Proof System. IACR Cryptol. ePrint Arch. 2018 (2018)
Alessandro Chiesa, Michael A. Forbes, Tom Gur, Nicholas Spooner
Spatial Isolation Implies Zero Knowledge Even in a Quantum World. CoRR (2018)
Alessandro Chiesa, Peter Manohar, Igor Shinkar
Testing Linearity against Non-Signaling Strategies. Electron. Colloquium Comput. Complex. 25 (2018)
Alessandro Chiesa, Michael A. Forbes, Tom Gur, Nicholas Spooner
Spatial Isolation Implies Zero Knowledge Even in a Quantum World. FOCS (2018)
Alessandro Chiesa, Michael A. Forbes, Tom Gur, Nicholas Spooner
Spatial Isolation Implies Zero Knowledge Even in a Quantum World. Electron. Colloquium Comput. Complex. 25 (2018)
Alessandro Chiesa, Peter Manohar, Igor Shinkar
Probabilistic Checking against Non-Signaling Strategies from Linearity Testing. Electron. Colloquium Comput. Complex. 25 (2018)
Alessandro Chiesa, Michael A. Forbes, Nicholas Spooner
A Zero Knowledge Sumcheck and its Applications. CoRR (2017)
Eli Ben-Sasson, Alessandro Chiesa, Ariel Gabizon, Michael Riabzev, Nicholas Spooner
Interactive Oracle Proofs with Constant Rate and Query Complexity. ICALP (2017)
Eli Ben-Sasson, Alessandro Chiesa, Eran Tromer, Madars Virza
Scalable Zero Knowledge Via Cycles of Elliptic Curves. Algorithmica 79 (4) (2017)
Alessandro Chiesa, Michael A. Forbes, Nicholas Spooner
A Zero Knowledge Sumcheck and its Applications. IACR Cryptol. ePrint Arch. 2017 (2017)
Alessandro Chiesa, Peter Manohar, Igor Shinkar
On Axis-Parallel Tests for Tensor Product Codes. Electron. Colloquium Comput. Complex. 24 (2017)
Eli Ben-Sasson, Alessandro Chiesa, Michael A. Forbes, Ariel Gabizon, Michael Riabzev, Nicholas Spooner
Zero Knowledge Protocols from Succinct Constraint Detection. TCC (2) (2017)
Nir Bitansky, Ran Canetti, Alessandro Chiesa, Shafi Goldwasser, Huijia Lin, Aviad Rubinstein, Eran Tromer
The Hunting of the SNARK. J. Cryptol. 30 (4) (2017)
Eli Ben-Sasson, Iddo Bentov, Alessandro Chiesa, Ariel Gabizon, Daniel Genkin, Matan Hamilis, Evgenya Pergament, Michael Riabzev, Mark Silberstein, Eran Tromer, Madars Virza
Computational Integrity with a Public Random String from Quasi-Linear PCPs. EUROCRYPT (3) (2017)
Alessandro Chiesa, Peter Manohar, Igor Shinkar
On Axis-Parallel Tests for Tensor Product Codes. APPROX-RANDOM (2017)
Alessandro Chiesa, Tom Gur
Proofs of Proximity for Distribution Testing. Electron. Colloquium Comput. Complex. 24 (2017)
Alessandro Chiesa, Matthew Green, Jingcheng Liu, Peihan Miao, Ian Miers, Pratyush Mishra
Decentralized Anonymous Micropayments. EUROCRYPT (2) (2017)
Alessandro Chiesa, Michael A. Forbes, Nicholas Spooner
A Zero Knowledge Sumcheck and its Applications. Electron. Colloquium Comput. Complex. 24 (2017)
Eli Ben-Sasson, Alessandro Chiesa, Nicholas Spooner
Interactive Oracle Proofs. TCC (B2) (2016)
Eli Ben-Sasson, Alessandro Chiesa, Michael A. Forbes, Ariel Gabizon, Michael Riabzev, Nicholas Spooner
On Probabilistic Checking in Perfect Zero Knowledge. IACR Cryptol. ePrint Arch. 2016 (2016)
Eli Ben-Sasson, Alessandro Chiesa, Ariel Gabizon, Madars Virza
Quasi-Linear Size Zero Knowledge from Linear-Algebraic PCPs. IACR Cryptol. ePrint Arch. 2016 (2016)
Eli Ben-Sasson, Alessandro Chiesa, Ariel Gabizon, Madars Virza
Quasi-Linear Size Zero Knowledge from Linear-Algebraic PCPs. Electron. Colloquium Comput. Complex. 23 (2016)

Alessandro Chiesa.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Alessandro Chiesa