Details
Title
Chiesa, Alessandro
Sciper ID
348124
Affiliated labs
COMPSEC
Publications
A PCP Theorem for Interactive Proofs and Applications
A Toolbox for Barriers on Interactive Oracle Proofs
EOS: Efficient Private Delegation of zkSNARK Provers
Gemini: Elastic SNARKs for Diverse Environments
IOPs with Inverse Polynomial Soundness Error
On Succinct Non-interactive Arguments in Relativized Worlds
Relaxed Locally Correctable Codes With Nearly-Linear Block Length And Constant Query Complexity
Spatial Isolation Implies Zero Knowledge Even in a Quantum World
Succinct Non-Interactive Arguments via Linear Interactive Proofs
Zero-Knowledge IOPs with Linear-Time Prover and Polylogarithmic-Time Verifier
See complete list of publications (11)
A Toolbox for Barriers on Interactive Oracle Proofs
EOS: Efficient Private Delegation of zkSNARK Provers
Gemini: Elastic SNARKs for Diverse Environments
IOPs with Inverse Polynomial Soundness Error
On Succinct Non-interactive Arguments in Relativized Worlds
Relaxed Locally Correctable Codes With Nearly-Linear Block Length And Constant Query Complexity
Spatial Isolation Implies Zero Knowledge Even in a Quantum World
Succinct Non-Interactive Arguments via Linear Interactive Proofs
Zero-Knowledge IOPs with Linear-Time Prover and Polylogarithmic-Time Verifier
See complete list of publications (11)
Link to search
All resources
Record appears in
Authorities > People