Alessandro Chiesa

167 papers A* 16A 11B 2Journal 99Unranked 38
YearRankTypeTitle / Venue / Authors
2026 J jnl
Interactive Proofs for Batch Polynomial Evaluation.
IACR Cryptol. ePrint Arch.
Gal Arnon, Alessandro Chiesa, Giacomo Fenzi, Eylon Yogev
2026 J jnl
Zero-Knowledge IOPPs for Constrained Interleaved Codes.
IACR Cryptol. ePrint Arch.
Alessandro Chiesa, Giacomo Fenzi, Guy Weissenberg
2025 J jnl
A Fiat-Shamir Transformation From Duplex Sponges.
IACR Cryptol. ePrint Arch.
Alessandro Chiesa, Michele Orrù
2025 — conf
A Fiat-Shamir Transformation from Duplex Sponges.
TCC (1)
Alessandro Chiesa, Michele Orrù
2025 J jnl
All Polynomial Generators Preserve Distance with Mutual Correlated Agreement.
IACR Cryptol. ePrint Arch.
Sarah Bordage, Alessandro Chiesa, Ziyi Guan, Ignacio Manzur
2025 J jnl
How to Prove Post-Quantum Security for Succinct Non-Interactive Reductions.
IACR Cryptol. ePrint Arch.
Alessandro Chiesa, Zijing Di, Zihan Hu, Yuxi Zheng
2025 — conf
Linear-Time Accumulation Schemes.
TCC (1)
Benedikt Bünz, Alessandro Chiesa, Giacomo Fenzi, William Wang
2025 J jnl
Linear-Time Accumulation Schemes.
IACR Cryptol. ePrint Arch.
Benedikt Bünz, Alessandro Chiesa, Giacomo Fenzi, William Wang
2025 J jnl
On the Fiat-Shamir Security of Succinct Arguments from Functional Commitments.
IACR Cryptol. ePrint Arch.
Alessandro Chiesa, Ziyi Guan, Christian Knabenhans, Zihan Yu
2025 — conf
Quantum Rewinding for IOP-Based Succinct Arguments.
TCC (3)
Alessandro Chiesa, Marcel Dall'Agnol, Zijing Di, Ziyi Guan, Nicholas Spooner
2025 J jnl
Quantum Rewinding for IOP-Based Succinct Arguments.
IACR Cryptol. ePrint Arch.
Alessandro Chiesa, Marcel Dall'Agnol, Zijing Di, Ziyi Guan, Nicholas Spooner
2025 — conf
Relativized Succinct Arguments in the ROM do not Exist.
TCC (1)
Annalisa Barbara, Alessandro Chiesa, Ziyi Guan
2025 — conf
Time-Space Trade-Offs for Sumcheck.
TCC (4)
Anubhav Baweja, Alessandro Chiesa, Elisabetta Fedele, Giacomo Fenzi, Pratyush Mishra, Tushar Mopuri, Andrew Zitek-Estrada
2025 J jnl
Time-Space Trade-Offs for Sumcheck.
IACR Cryptol. ePrint Arch.
Anubhav Baweja, Alessandro Chiesa, Elisabetta Fedele, Giacomo Fenzi, Pratyush Mishra, Tushar Mopuri, Andrew Zitek-Estrada
2025 — conf
WHIR: Reed-Solomon Proximity Testing with Super-Fast Verification.
EUROCRYPT (4)
Gal Arnon, Alessandro Chiesa, Giacomo Fenzi, Eylon Yogev
2024 J jnl
A Time-Space Tradeoff for the Sumcheck Prover.
IACR Cryptol. ePrint Arch.
Alessandro Chiesa, Elisabetta Fedele, Giacomo Fenzi, Andrew Zitek-Estrada
2024 A conf
On Parallel Repetition of PCPs.
ITCS
Alessandro Chiesa, Ziyi Guan, Burcu Yildiz
2024 J jnl
Relativized Succinct Arguments in the ROM Do Not Exist.
IACR Cryptol. ePrint Arch.
Annalisa Barbara, Alessandro Chiesa, Ziyi Guan
2024 — conf
STIR: Reed-Solomon Proximity Testing with Fewer Queries.
CRYPTO (10)
Gal Arnon, Alessandro Chiesa, Giacomo Fenzi, Eylon Yogev
2024 J jnl
STIR: Reed-Solomon Proximity Testing with Fewer Queries.
IACR Cryptol. ePrint Arch.
Gal Arnon, Alessandro Chiesa, Giacomo Fenzi, Eylon Yogev
2024 — conf
Security Bounds for Proof-Carrying Data from Straightline Extractors.
TCC (2)
Alessandro Chiesa, Ziyi Guan, Shahar Samocha, Eylon Yogev
2024 — conf
Untangling the Security of Kilian's Protocol: Upper and Lower Bounds.
TCC (1)
Alessandro Chiesa, Marcel Dall'Agnol, Ziyi Guan, Nicholas Spooner, Eylon Yogev
2024 J jnl
Untangling the Security of Kilian's Protocol: Upper and Lower Bounds.
IACR Cryptol. ePrint Arch.
Alessandro Chiesa, Marcel Dall'Agnol, Ziyi Guan, Nicholas Spooner, Eylon Yogev
2024 J jnl
WHIR: Reed-Solomon Proximity Testing with Super-Fast Verification.
IACR Cryptol. ePrint Arch.
Gal Arnon, Alessandro Chiesa, Giacomo Fenzi, Eylon Yogev
2024 — conf
zkSNARKs in the ROM with Unconditional UC-Security.
TCC (1)
Alessandro Chiesa, Giacomo Fenzi
2024 J jnl
zkSNARKs in the ROM with Unconditional UC-Security.
IACR Cryptol. ePrint Arch.
Alessandro Chiesa, Giacomo Fenzi
2023 J jnl
Concrete Security for Succinct Arguments from Vector Commitments.
IACR Cryptol. ePrint Arch.
Alessandro Chiesa, Marcel Dall'Agnol, Ziyi Guan, Nicholas Spooner
2023 A* conf
Eos: Efficient Private Delegation of zkSNARK Provers.
USENIX Security Symposium
Alessandro Chiesa, Ryan Lehmkuhl, Pratyush Mishra, Yinuo Zhang
2023 A* conf
IOPs with Inverse Polynomial Soundness Error.
FOCS
Gal Arnon, Alessandro Chiesa, Eylon Yogev
2023 J jnl
IOPs with Inverse Polynomial Soundness Error.
IACR Cryptol. ePrint Arch.
Gal Arnon, Alessandro Chiesa, Eylon Yogev
2023 — conf
Lattice-Based Succinct Arguments for NP with Polylogarithmic-Time Verification.
CRYPTO (2)
Jonathan Bootle, Alessandro Chiesa, Katerina Sotiraki
2023 J jnl
Lattice-Based Succinct Arguments for NP with Polylogarithmic-Time Verification.
IACR Cryptol. ePrint Arch.
Jonathan Bootle, Alessandro Chiesa, Katerina Sotiraki
2023 J jnl
On Parallel Repetition of PCPs.
IACR Cryptol. ePrint Arch.
Alessandro Chiesa, Ziyi Guan, Burcu Yildiz
2023 J jnl
Proof-Carrying Data From Arithmetized Random Oracles.
IACR Cryptol. ePrint Arch.
Megan Chen, Alessandro Chiesa, Tom Gur, Jack O'Connor, Nicholas Spooner
2023 — conf
Proof-Carrying Data from Arithmetized Random Oracles.
EUROCRYPT (2)
Megan Chen, Alessandro Chiesa, Tom Gur, Jack O'Connor, Nicholas Spooner
2023 J jnl
Security Bounds for Proof-Carrying Data from Straightline Extractors.
IACR Cryptol. ePrint Arch.
Alessandro Chiesa, Ziyi Guan, Shahar Samocha, Eylon Yogev
2022 — conf
A PCP Theorem for Interactive Proofs and Applications.
EUROCRYPT (2)
Gal Arnon, Alessandro Chiesa, Eylon Yogev
2022 — conf
A Toolbox for Barriers on Interactive Oracle Proofs.
TCC (1)
Gal Arnon, Amey Bhangale, Alessandro Chiesa, Eylon Yogev
2022 J jnl
A Toolbox for Barriers on Interactive Oracle Proofs.
IACR Cryptol. ePrint Arch.
Gal Arnon, Amey Bhangale, Alessandro Chiesa, Eylon Yogev
2022 — conf
Gemini: Elastic SNARKs for Diverse Environments.
EUROCRYPT (2)
Jonathan Bootle, Alessandro Chiesa, Yuncong Hu, Michele Orrù
2022 J jnl
Gemini: Elastic SNARKs for Diverse Environments.
IACR Cryptol. ePrint Arch.
Jonathan Bootle, Alessandro Chiesa, Yuncong Hu, Michele Orrù
2022 A conf
Hardness of Approximation for Stochastic Problems via Interactive Oracle Proofs.
CCC
Gal Arnon, Alessandro Chiesa, Eylon Yogev
2022 J jnl
Hardness of Approximation for Stochastic Problems via Interactive Oracle Proofs.
IACR Cryptol. ePrint Arch.
Gal Arnon, Alessandro Chiesa, Eylon Yogev
2022 J jnl
Linear-Time Probabilistic Proofs with Sublinear Verification for Algebraic Automata Over Every Field.
IACR Cryptol. ePrint Arch.
Jonathan Bootle, Alessandro Chiesa, Ziyi Guan, Siqi Liu
2022 J jnl
On Succinct Non-Interactive Arguments in Relativized Worlds.
IACR Cryptol. ePrint Arch.
Megan Chen, Alessandro Chiesa, Nicholas Spooner
2022 — conf
On Succinct Non-interactive Arguments in Relativized Worlds.
EUROCRYPT (2)
Megan Chen, Alessandro Chiesa, Nicholas Spooner
2022 J jnl
Relaxed Locally Correctable Codes with Nearly-Linear Block Length and Constant Query Complexity.
SIAM J. Comput.
Alessandro Chiesa, Tom Gur, Igor Shinkar
2022 J jnl
Spatial Isolation Implies Zero Knowledge Even in a Quantum World.
J. ACM
Alessandro Chiesa, Michael A. Forbes, Tom Gur, Nicholas Spooner
2022 J jnl
Succinct Non-Interactive Arguments via Linear Interactive Proofs.
J. Cryptol.
Nir Bitansky, Alessandro Chiesa, Yuval Ishai, Rafail Ostrovsky, Omer Paneth
2022 — conf
Zero-Knowledge IOPs with Linear-Time Prover and Polylogarithmic-Time Verifier.
EUROCRYPT (2)
Jonathan Bootle, Alessandro Chiesa, Siqi Liu
2021 J jnl
A PCP Theorem for Interactive Proofs.
IACR Cryptol. ePrint Arch.
Gal Arnon, Alessandro Chiesa, Eylon Yogev
2021 J jnl
Post-Quantum Succinct Arguments.
CoRR
Alessandro Chiesa, Fermi Ma, Nicholas Spooner, Mark Zhandry
2021 J jnl
Post-Quantum Succinct Arguments.
Electron. Colloquium Comput. Complex.
Alessandro Chiesa, Fermi Ma, Nicholas Spooner, Mark Zhandry
2021 J jnl
Post-Quantum Succinct Arguments.
IACR Cryptol. ePrint Arch.
Alessandro Chiesa, Fermi Ma, Nicholas Spooner, Mark Zhandry
2021 A* conf
Post-Quantum Succinct Arguments: Breaking the Quantum Rewinding Barrier.
FOCS
Alessandro Chiesa, Fermi Ma, Nicholas Spooner, Mark Zhandry
2021 — conf
Proof-Carrying Data Without Succinct Arguments.
CRYPTO (1)
Benedikt Bünz, Alessandro Chiesa, William Lin, Pratyush Mishra, Nicholas Spooner
2021 — conf
Subquadratic SNARGs in the Random Oracle Model.
CRYPTO (1)
Alessandro Chiesa, Eylon Yogev
2021 J jnl
Subquadratic SNARGs in the Random Oracle Model.
IACR Cryptol. ePrint Arch.
Alessandro Chiesa, Eylon Yogev
2021 — conf
Sumcheck Arguments and Their Applications.
CRYPTO (1)
Jonathan Bootle, Alessandro Chiesa, Katerina Sotiraki
2021 J jnl
Sumcheck Arguments and their Applications.
IACR Cryptol. ePrint Arch.
Jonathan Bootle, Alessandro Chiesa, Katerina Sotiraki
2021 — conf
Tight Security Bounds for Micali's SNARGs.
TCC (1)
Alessandro Chiesa, Eylon Yogev
2021 J jnl
Tight Security Bounds for Micali's SNARGs.
IACR Cryptol. ePrint Arch.
Alessandro Chiesa, Eylon Yogev
2020 — conf
Barriers for Succinct Arguments in the Random Oracle Model.
TCC (2)
Alessandro Chiesa, Eylon Yogev
2020 J jnl
Barriers for Succinct Arguments in the Random Oracle Model.
IACR Cryptol. ePrint Arch.
Alessandro Chiesa, Eylon Yogev
2020 — conf
Fractal: Post-quantum and Transparent Recursive Proofs from Holography.
EUROCRYPT (1)
Alessandro Chiesa, Dev Ojha, Nicholas Spooner
2020 — conf
Linear-Time Arguments with Sublinear Verification from Tensor Codes.
TCC (2)
Jonathan Bootle, Alessandro Chiesa, Jens Groth
2020 J jnl
Linear-Time Arguments with Sublinear Verification from Tensor Codes.
IACR Cryptol. ePrint Arch.
Jonathan Bootle, Alessandro Chiesa, Jens Groth
2020 — conf
Marlin: Preprocessing zkSNARKs with Universal and Updatable SRS.
EUROCRYPT (1)
Alessandro Chiesa, Yuncong Hu, Mary Maller, Pratyush Mishra, Psi Vesely, Nicholas P. Ward
2020 J jnl
On Axis-Parallel Tests for Tensor Product Codes.
Theory Comput.
Alessandro Chiesa, Peter Manohar, Igor Shinkar
2020 A conf
On Local Testability in the Non-Signaling Setting.
ITCS
Alessandro Chiesa, Peter Manohar, Igor Shinkar
2020 A conf
On the Impossibility of Probabilistic Proofs in Relativized Worlds.
ITCS
Alessandro Chiesa, Siqi Liu
2020 J jnl
Proof-Carrying Data from Accumulation Schemes.
IACR Cryptol. ePrint Arch.
Benedikt Bünz, Alessandro Chiesa, Pratyush Mishra, Nicholas Spooner
2020 J jnl
Proof-Carrying Data without Succinct Arguments.
IACR Cryptol. ePrint Arch.
Benedikt Bünz, Alessandro Chiesa, William Lin, Pratyush Mishra, Nicholas Spooner
2020 — conf
Recursive Proof Composition from Accumulation Schemes.
TCC (2)
Benedikt Bünz, Alessandro Chiesa, Pratyush Mishra, Nicholas Spooner
2020 J jnl
Reducing Participation Costs via Incremental Verification for Ledger Systems.
IACR Cryptol. ePrint Arch.
Weikeng Chen, Alessandro Chiesa, Emma Dauterman, Nicholas P. Ward
2020 A* conf
Relaxed Locally Correctable Codes with Nearly-Linear Block Length and Constant Query Complexity.
SODA
Alessandro Chiesa, Tom Gur, Igor Shinkar
2020 J jnl
Relaxed Locally Correctable Codes with Nearly-Linear Block Length and Constant Query Complexity.
Electron. Colloquium Comput. Complex.
Alessandro Chiesa, Tom Gur, Igor Shinkar
2020 J jnl
Testing Linearity against Non-signaling Strategies.
ACM Trans. Comput. Theory
Alessandro Chiesa, Peter Manohar, Igor Shinkar
2020 A* conf
ZEXE: Enabling Decentralized Private Computation.
SP
Sean Bowe, Alessandro Chiesa, Matthew Green, Ian Miers, Pratyush Mishra, Howard Wu
2020 J jnl
Zero-Knowledge Succinct Arguments with a Linear-Time Prover.
IACR Cryptol. ePrint Arch.
Jonathan Bootle, Alessandro Chiesa, Siqi Liu
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 J jnl
Fractal: Post-Quantum and Transparent Recursive Proofs from Holography.
IACR Cryptol. ePrint Arch.
Alessandro Chiesa, Dev Ojha, Nicholas Spooner
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 J jnl
Marlin: Preprocessing zkSNARKs with Universal and Updatable SRS.
IACR Cryptol. ePrint Arch.
Alessandro Chiesa, Yuncong Hu, Mary Maller, Pratyush Mishra, Psi Vesely, Nicholas P. Ward
2019 J jnl
On Cycles of Pairing-Friendly Elliptic Curves.
SIAM J. Appl. Algebra Geom.
Alessandro Chiesa, Lynn Chua, Matthew Weidner
2019 J jnl
On Local Testability in the Non-Signaling Setting.
Electron. Colloquium Comput. Complex.
Alessandro Chiesa, Peter Manohar, Igor Shinkar
2019 J jnl
On the Impossibility of Probabilistic Proofs in Relativized Worlds.
IACR Cryptol. ePrint Arch.
Alessandro Chiesa, Siqi Liu
2019 A conf
Probabilistic Checking Against Non-Signaling Strategies from Linearity Testing.
ITCS
Alessandro Chiesa, Peter Manohar, Igor Shinkar
2019 — conf
Succinct Arguments in the Quantum Random Oracle Model.
TCC (2)
Alessandro Chiesa, Peter Manohar, Nicholas Spooner
2019 J jnl
Succinct Arguments in the Quantum Random Oracle Model.
IACR Cryptol. ePrint Arch.
Alessandro Chiesa, Peter Manohar, Nicholas Spooner
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
DIZK: A Distributed Zero Knowledge Proof System.
USENIX Security Symposium
Howard Wu, Wenting Zheng, Alessandro Chiesa, Raluca Ada Popa, Ion Stoica
2018 J jnl
DIZK: A Distributed Zero Knowledge Proof System.
IACR Cryptol. ePrint Arch.
Howard Wu, Wenting Zheng, Alessandro Chiesa, Raluca Ada Popa, Ion Stoica
2018 A* conf
Oblix: An Efficient Oblivious Search Index.
IEEE Symposium on Security and Privacy
Pratyush Mishra, Rishabh Poddar, Jerry Chen, Alessandro Chiesa, Raluca Ada Popa
2018 J jnl
Probabilistic Checking against Non-Signaling Strategies from Linearity Testing.
Electron. Colloquium Comput. Complex.
Alessandro Chiesa, Peter Manohar, Igor Shinkar
2018 A conf
Proofs of Proximity for Distribution Testing.
ITCS
Alessandro Chiesa, Tom Gur
2018 A* conf
Spatial Isolation Implies Zero Knowledge Even in a Quantum World.
FOCS
Alessandro Chiesa, Michael A. Forbes, Tom Gur, Nicholas Spooner
2018 J jnl
Spatial Isolation Implies Zero Knowledge Even in a Quantum World.
CoRR
Alessandro Chiesa, Michael A. Forbes, Tom Gur, Nicholas Spooner
2018 J jnl
Spatial Isolation Implies Zero Knowledge Even in a Quantum World.
Electron. Colloquium Comput. Complex.
Alessandro Chiesa, Michael A. Forbes, Tom Gur, Nicholas Spooner
2018 A conf
Testing Linearity against Non-Signaling Strategies.
CCC
Alessandro Chiesa, Peter Manohar, Igor Shinkar
2018 J jnl
Testing Linearity against Non-Signaling Strategies.
Electron. Colloquium Comput. Complex.
Alessandro Chiesa, Peter Manohar, Igor Shinkar
2018 J jnl
Zexe: Enabling Decentralized Private Computation.
IACR Cryptol. ePrint Arch.
Sean Bowe, Alessandro Chiesa, Matthew Green, Ian Miers, Pratyush Mishra, Howard Wu
2017 J jnl
A Zero Knowledge Sumcheck and its Applications.
CoRR
Alessandro Chiesa, Michael A. Forbes, Nicholas Spooner
2017 J jnl
A Zero Knowledge Sumcheck and its Applications.
Electron. Colloquium Comput. Complex.
Alessandro Chiesa, Michael A. Forbes, Nicholas Spooner
2017 J jnl
A Zero Knowledge Sumcheck and its Applications.
IACR Cryptol. ePrint Arch.
Alessandro Chiesa, Michael A. Forbes, Nicholas Spooner
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 — conf
Decentralized Anonymous Micropayments.
EUROCRYPT (2)
Alessandro Chiesa, Matthew Green, Jingcheng Liu, Peihan Miao, Ian Miers, Pratyush Mishra
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
On Axis-Parallel Tests for Tensor Product Codes.
APPROX-RANDOM
Alessandro Chiesa, Peter Manohar, Igor Shinkar
2017 J jnl
On Axis-Parallel Tests for Tensor Product Codes.
Electron. Colloquium Comput. Complex.
Alessandro Chiesa, Peter Manohar, Igor Shinkar
2017 J jnl
Proofs of Proximity for Distribution Testing.
Electron. Colloquium Comput. Complex.
Alessandro Chiesa, Tom Gur
2017 J jnl
Scalable Zero Knowledge Via Cycles of Elliptic Curves.
Algorithmica
Eli Ben-Sasson, Alessandro Chiesa, Eran Tromer, Madars Virza
2017 J jnl
The Hunting of the SNARK.
J. Cryptol.
Nir Bitansky, Ran Canetti, Alessandro Chiesa, Shafi Goldwasser, Huijia Lin, Aviad Rubinstein, Eran Tromer
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
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
Decentralized Anonymous Micropayments.
IACR Cryptol. ePrint Arch.
Alessandro Chiesa, Matthew Green, Jingcheng Liu, Peihan Miao, Ian Miers, Pratyush Mishra
2016 — conf
Interactive Oracle Proofs.
TCC (B2)
Eli Ben-Sasson, Alessandro Chiesa, Nicholas Spooner
2016 J jnl
Interactive Oracle Proofs.
IACR Cryptol. ePrint Arch.
Eli Ben-Sasson, Alessandro Chiesa, Nicholas Spooner
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 — conf
Quasi-Linear Size Zero Knowledge from Linear-Algebraic PCPs.
TCC (A2)
Eli Ben-Sasson, Alessandro Chiesa, Ariel Gabizon, Madars Virza
2016 J jnl
Quasi-Linear Size Zero Knowledge from Linear-Algebraic PCPs.
Electron. Colloquium Comput. Complex.
Eli Ben-Sasson, Alessandro Chiesa, Ariel Gabizon, Madars Virza
2016 J jnl
Quasi-Linear Size Zero Knowledge from Linear-Algebraic PCPs.
IACR Cryptol. ePrint Arch.
Eli Ben-Sasson, Alessandro Chiesa, Ariel Gabizon, Madars Virza
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
2015 — conf
Cluster Computing in Zero Knowledge.
EUROCRYPT (2)
Alessandro Chiesa, Eran Tromer, Madars Virza
2015 J jnl
Cluster Computing in Zero Knowledge.
IACR Cryptol. ePrint Arch.
Alessandro Chiesa, Eran Tromer, Madars Virza
2015 A* conf
Secure Sampling of Public Parameters for Succinct Zero Knowledge Proofs.
IEEE Symposium on Security and Privacy
Eli Ben-Sasson, Alessandro Chiesa, Matthew Green, Eran Tromer, Madars Virza
2015 J jnl
Shorter arithmetization of nondeterministic computations.
Theor. Comput. Sci.
Alessandro Chiesa, Zeyuan Allen Zhu
2014 J jnl
Bridging Utility Maximization and Regret Minimization.
CoRR
Alessandro Chiesa, Silvio Micali, Zeyuan Allen Zhu
2014 J jnl
Knightian Analysis of the VCG Mechanism in Unrestricted Combinatorial Auctions.
CoRR
Alessandro Chiesa, Silvio Micali, Zeyuan Allen Zhu
2014 J jnl
Knightian Robustness from Regret Minimization.
CoRR
Alessandro Chiesa, Silvio Micali, Zeyuan Allen Zhu
2014 J jnl
Knightian Robustness of Single-Parameter Domains.
CoRR
Alessandro Chiesa, Silvio Micali, Zeyuan Allen Zhu
2014 J jnl
Knightian Robustness of the Vickrey Mechanism.
CoRR
Alessandro Chiesa, Silvio Micali, Zeyuan Allen Zhu
2014 A* conf
Knightian self uncertainty in the vcg mechanism for unrestricted combinatorial auctions.
EC
Alessandro Chiesa, Silvio Micali, Zeyuan Allen Zhu
2014 — conf
Scalable Zero Knowledge via Cycles of Elliptic Curves.
CRYPTO (2)
Eli Ben-Sasson, Alessandro Chiesa, Eran Tromer, Madars Virza
2014 J jnl
Scalable Zero Knowledge via Cycles of Elliptic Curves.
IACR Cryptol. ePrint Arch.
Eli Ben-Sasson, Alessandro Chiesa, Eran Tromer, Madars Virza
2014 A* conf
Succinct Non-Interactive Zero Knowledge for a von Neumann Architecture.
USENIX Security Symposium
Eli Ben-Sasson, Alessandro Chiesa, Eran Tromer, Madars Virza
2014 — —
Succinct non-Interactive arguments.
Alessandro Chiesa
2014 J jnl
The Hunting of the SNARK.
IACR Cryptol. ePrint Arch.
Nir Bitansky, Ran Canetti, Alessandro Chiesa, Shafi Goldwasser, Huijia Lin, Aviad Rubinstein, Eran Tromer
2014 A* conf
Zerocash: Decentralized Anonymous Payments from Bitcoin.
IEEE Symposium on Security and Privacy
Eli Ben-Sasson, Alessandro Chiesa, Christina Garman, Matthew Green, Ian Miers, Eran Tromer, Madars Virza
2014 J jnl
Zerocash: Decentralized Anonymous Payments from Bitcoin.
IACR Cryptol. ePrint Arch.
Eli Ben-Sasson, Alessandro Chiesa, Christina Garman, Matthew Green, Ian Miers, Eran Tromer, Madars Virza
2013 B conf
Erratum: Succinct Non-interactive Arguments via Linear Interactive Proofs.
TCC
Nir Bitansky, Alessandro Chiesa, Yuval Ishai, Rafail Ostrovsky, Omer Paneth
2013 A conf
Fast reductions from RAMs to delegatable succinct constraint satisfaction problems: extended abstract.
ITCS
Eli Ben-Sasson, Alessandro Chiesa, Daniel Genkin, Eran Tromer
2013 J jnl
Improved Soundness for QMA with Multiple Provers
Chic. J. Theor. Comput. Sci.
Alessandro Chiesa, Michael A. Forbes
2013 A* conf
On the concrete efficiency of probabilistically-checkable proofs.
STOC
Eli Ben-Sasson, Alessandro Chiesa, Daniel Genkin, Eran Tromer
2013 A* conf
Recursive composition and bootstrapping for SNARKS and proof-carrying data.
STOC
Nir Bitansky, Ran Canetti, Alessandro Chiesa, Eran Tromer
2013 — conf
SNARKs for C: Verifying Program Executions Succinctly and in Zero Knowledge.
CRYPTO (2)
Eli Ben-Sasson, Alessandro Chiesa, Daniel Genkin, Eran Tromer, Madars Virza
2013 J jnl
SNARKs for C: Verifying Program Executions Succinctly and in Zero Knowledge.
IACR Cryptol. ePrint Arch.
Eli Ben-Sasson, Alessandro Chiesa, Daniel Genkin, Eran Tromer, Madars Virza
2013 J jnl
Succinct Non-Interactive Arguments for a von Neumann Architecture.
IACR Cryptol. ePrint Arch.
Eli Ben-Sasson, Alessandro Chiesa, Eran Tromer, Madars Virza
2013 B conf
Succinct Non-interactive Arguments via Linear Interactive Proofs.
TCC
Nir Bitansky, Alessandro Chiesa, Yuval Ishai, Rafail Ostrovsky, Omer Paneth
2012 J jnl
Fast Reductions from RAMs to Delegatable Succinct Constraint Satisfaction Problems.
IACR Cryptol. ePrint Arch.
Eli Ben-Sasson, Alessandro Chiesa, Daniel Genkin, Eran Tromer
2012 A conf
From extractable collision resistance to succinct non-interactive arguments of knowledge, and back again.
ITCS
Nir Bitansky, Ran Canetti, Alessandro Chiesa, Eran Tromer
2012 A conf
Mechanism design with approximate valuations.
ITCS
Alessandro Chiesa, Silvio Micali, Zeyuan Allen Zhu
2012 J jnl
On the Concrete-Efficiency Threshold of Probabilistically-Checkable Proofs.
Electron. Colloquium Comput. Complex.
Eli Ben-Sasson, Alessandro Chiesa, Daniel Genkin, Eran Tromer
2012 J jnl
Recursive Composition and Bootstrapping for SNARKs and Proof-Carrying Data.
IACR Cryptol. ePrint Arch.
Nir Bitansky, Ran Canetti, Alessandro Chiesa, Eran Tromer
2012 J jnl
Succinct Arguments from Multi-Prover Interactive Proofs and their Efficiency Benefits.
IACR Cryptol. ePrint Arch.
Nir Bitansky, Alessandro Chiesa
2012 A* conf
Succinct Arguments from Multi-prover Interactive Proofs and Their Efficiency Benefits.
CRYPTO
Nir Bitansky, Alessandro Chiesa
2012 J jnl
Succinct Non-Interactive Arguments via Linear Interactive Proofs.
IACR Cryptol. ePrint Arch.
Nir Bitansky, Alessandro Chiesa, Yuval Ishai, Rafail Ostrovsky, Omer Paneth
2011 J jnl
From Extractable Collision Resistance to Succinct Non-Interactive Arguments of Knowledge, and Back Again.
IACR Cryptol. ePrint Arch.
Nir Bitansky, Ran Canetti, Alessandro Chiesa, Eran Tromer
2011 J jnl
Going Beyond Pollution Attacks: Forcing Byzantine Clients to Code Correctly
CoRR
Raluca A. Popa, Alessandro Chiesa, Tural Badirkhanli, Muriel Médard
2011 J jnl
Improved Soundness for QMA with Multiple Provers
CoRR
Alessandro Chiesa, Michael A. Forbes
2011 J jnl
Improved Soundness for QMA with Multiple Provers.
Electron. Colloquium Comput. Complex.
Alessandro Chiesa, Michael A. Forbes
2011 J jnl
Knightian Auctions
CoRR
Alessandro Chiesa, Silvio Micali, Zeyuan Allen Zhu
2010 A conf
Proof-Carrying Data and Hearsay Arguments from Signature Cards.
ICS
Alessandro Chiesa, Eran Tromer