Alessandro Chiesa

Google Scholar
44 publications in security and cryptology related venues
Year
Venue
Title
2025
conf/eurocrypt
WHIR: Reed-Solomon Proximity Testing with Super-Fast Verification.
Gal Arnon Alessandro Chiesa Giacomo Fenzi Eylon Yogev
2024
conf/crypto
STIR: Reed-Solomon Proximity Testing with Fewer Queries.
Gal Arnon Alessandro Chiesa Giacomo Fenzi Eylon Yogev
2024
conf/tcc
zkSNARKs in the ROM with Unconditional UC-Security.
Alessandro Chiesa Giacomo Fenzi
2024
conf/tcc
Untangling the Security of Kilian's Protocol: Upper and Lower Bounds.
Alessandro Chiesa Marcel Dall'Agnol Ziyi Guan Nicholas Spooner Eylon Yogev
2024
conf/tcc
Security Bounds for Proof-Carrying Data from Straightline Extractors.
Alessandro Chiesa Ziyi Guan Shahar Samocha Eylon Yogev
2023
conf/uss
Eos: Efficient Private Delegation of zkSNARK Provers.
Alessandro Chiesa Ryan Lehmkuhl Pratyush Mishra Yinuo Zhang
2023
conf/crypto
Lattice-Based Succinct Arguments for NP with Polylogarithmic-Time Verification.
Jonathan Bootle Alessandro Chiesa Katerina Sotiraki
2023
conf/eurocrypt
Proof-Carrying Data from Arithmetized Random Oracles.
Megan Chen Alessandro Chiesa Tom Gur Jack O'Connor Nicholas Spooner
2022
journals/joc
Succinct Non-Interactive Arguments via Linear Interactive Proofs.
Nir Bitansky Alessandro Chiesa Yuval Ishai Rafail Ostrovsky Omer Paneth
2022
conf/eurocrypt
On Succinct Non-interactive Arguments in Relativized Worlds.
Megan Chen Alessandro Chiesa Nicholas Spooner
2022
conf/eurocrypt
Gemini: Elastic SNARKs for Diverse Environments.
Jonathan Bootle Alessandro Chiesa Yuncong Hu Michele Orrù
2022
conf/eurocrypt
Zero-Knowledge IOPs with Linear-Time Prover and Polylogarithmic-Time Verifier.
Jonathan Bootle Alessandro Chiesa Siqi Liu
2022
conf/eurocrypt
A PCP Theorem for Interactive Proofs and Applications.
Gal Arnon Alessandro Chiesa Eylon Yogev
2022
conf/tcc
A Toolbox for Barriers on Interactive Oracle Proofs.
Gal Arnon Amey Bhangale Alessandro Chiesa Eylon Yogev
2021
conf/crypto
Proof-Carrying Data Without Succinct Arguments.
Benedikt Bünz Alessandro Chiesa William Lin Pratyush Mishra Nicholas Spooner
2021
conf/crypto
Subquadratic SNARGs in the Random Oracle Model.
Alessandro Chiesa Eylon Yogev
2021
conf/crypto
Sumcheck Arguments and Their Applications.
Jonathan Bootle Alessandro Chiesa Katerina Sotiraki
2021
conf/tcc
Tight Security Bounds for Micali's SNARGs.
Alessandro Chiesa Eylon Yogev
2020
conf/sp
ZEXE: Enabling Decentralized Private Computation.
Sean Bowe Alessandro Chiesa Matthew Green Ian Miers Pratyush Mishra Howard Wu
2020
conf/eurocrypt
Marlin: Preprocessing zkSNARKs with Universal and Updatable SRS.
Alessandro Chiesa Yuncong Hu Mary Maller Pratyush Mishra Psi Vesely Nicholas P. Ward
2020
conf/eurocrypt
Fractal: Post-quantum and Transparent Recursive Proofs from Holography.
Alessandro Chiesa Dev Ojha Nicholas Spooner
2020
conf/tcc
Linear-Time Arguments with Sublinear Verification from Tensor Codes.
Jonathan Bootle Alessandro Chiesa Jens Groth
2020
conf/tcc
Barriers for Succinct Arguments in the Random Oracle Model.
Alessandro Chiesa Eylon Yogev
2020
conf/tcc
Recursive Proof Composition from Accumulation Schemes.
Benedikt Bünz Alessandro Chiesa Pratyush Mishra Nicholas Spooner
2019
conf/eurocrypt
Aurora: Transparent Succinct Arguments for R1CS.
Eli Ben-Sasson Alessandro Chiesa Michael Riabzev Nicholas Spooner Madars Virza Nicholas P. Ward
2019
conf/tcc
Linear-Size Constant-Query IOPs for Delegating Computation.
Eli Ben-Sasson Alessandro Chiesa Lior Goldberg Tom Gur Michael Riabzev Nicholas Spooner
2019
conf/tcc
Succinct Arguments in the Quantum Random Oracle Model.
Alessandro Chiesa Peter Manohar Nicholas Spooner
2018
conf/uss
DIZK: A Distributed Zero Knowledge Proof System.
Howard Wu Wenting Zheng Alessandro Chiesa Raluca Ada Popa Ion Stoica
2018
conf/sp
Oblix: An Efficient Oblivious Search Index.
Pratyush Mishra Rishabh Poddar Jerry Chen Alessandro Chiesa Raluca Ada Popa
2017
journals/joc
The Hunting of the SNARK.
Nir Bitansky Ran Canetti Alessandro Chiesa Shafi Goldwasser Huijia Lin Aviad Rubinstein Eran Tromer
2017
conf/eurocrypt
Decentralized Anonymous Micropayments.
Alessandro Chiesa Matthew Green Jingcheng Liu Peihan Miao Ian Miers Pratyush Mishra
2017
conf/eurocrypt
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
2017
conf/tcc
Zero Knowledge Protocols from Succinct Constraint Detection.
Eli Ben-Sasson Alessandro Chiesa Michael A. Forbes Ariel Gabizon Michael Riabzev Nicholas Spooner
2016
conf/tcc
Interactive Oracle Proofs.
Eli Ben-Sasson Alessandro Chiesa Nicholas Spooner
2016
conf/tcc
Quasi-Linear Size Zero Knowledge from Linear-Algebraic PCPs.
Eli Ben-Sasson Alessandro Chiesa Ariel Gabizon Madars Virza
2015
conf/sp
Secure Sampling of Public Parameters for Succinct Zero Knowledge Proofs.
Eli Ben-Sasson Alessandro Chiesa Matthew Green Eran Tromer Madars Virza
2015
conf/eurocrypt
Cluster Computing in Zero Knowledge.
Alessandro Chiesa Eran Tromer Madars Virza
2014
conf/uss
Succinct Non-Interactive Zero Knowledge for a von Neumann Architecture.
Eli Ben-Sasson Alessandro Chiesa Eran Tromer Madars Virza
2014
conf/crypto
Scalable Zero Knowledge via Cycles of Elliptic Curves.
Eli Ben-Sasson Alessandro Chiesa Eran Tromer Madars Virza
2014
conf/sp
Zerocash: Decentralized Anonymous Payments from Bitcoin.
Eli Ben-Sasson Alessandro Chiesa Christina Garman Matthew Green Ian Miers Eran Tromer Madars Virza
2013
conf/crypto
SNARKs for C: Verifying Program Executions Succinctly and in Zero Knowledge.
Eli Ben-Sasson Alessandro Chiesa Daniel Genkin Eran Tromer Madars Virza
2013
conf/tcc
Erratum: Succinct Non-interactive Arguments via Linear Interactive Proofs.
Nir Bitansky Alessandro Chiesa Yuval Ishai Rafail Ostrovsky Omer Paneth
2013
conf/tcc
Succinct Non-interactive Arguments via Linear Interactive Proofs.
Nir Bitansky Alessandro Chiesa Yuval Ishai Rafail Ostrovsky Omer Paneth
2012
conf/crypto
Succinct Arguments from Multi-prover Interactive Proofs and Their Efficiency Benefits.
Nir Bitansky Alessandro Chiesa

Coauthors

Alessandro Chiesa (44)
Amey Bhangale (1)
Ariel Gabizon (3)
Aviad Rubinstein (1)
Benedikt Bünz (2)
Christina Garman (1)
Daniel Genkin (2)
Dev Ojha (1)
Eli Ben-Sasson (11)
Eran Tromer (8)
Evgenya Pergament (1)
Eylon Yogev (9)
Gal Arnon (4)
Giacomo Fenzi (3)
Howard Wu (2)
Huijia Lin (1)
Ian Miers (3)
Iddo Bentov (1)
Ion Stoica (1)
Jack O'Connor (1)
Jens Groth (1)
Jerry Chen (1)
Jingcheng Liu (1)
Jonathan Bootle (5)
Katerina Sotiraki (2)
Lior Goldberg (1)
Madars Virza (9)
Marcel Dall'Agnol (1)
Mark Silberstein (1)
Mary Maller (1)
Matan Hamilis (1)
Matthew Green (4)
Megan Chen (2)
Michael A. Forbes (1)
Michael Riabzev (4)
Michele Orrù (1)
Nicholas P. Ward (2)
Nicholas Spooner (11)
Nir Bitansky (5)
Omer Paneth (3)
Peihan Miao (1)
Peter Manohar (1)
Pratyush Mishra (7)
Psi Vesely (1)
Rafail Ostrovsky (3)
Raluca Ada Popa (2)
Ran Canetti (1)
Rishabh Poddar (1)
Ryan Lehmkuhl (1)
Sean Bowe (1)
Shafi Goldwasser (1)
Shahar Samocha (1)
Siqi Liu (1)
Tom Gur (2)
Wenting Zheng (1)
William Lin (1)
Yinuo Zhang (1)
Yuncong Hu (2)
Yuval Ishai (3)
Ziyi Guan (2)
Filters
Select all Unselect all
Years:  to