Nicholas Spooner

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 59

Top Topics

Query Complexity

Quantum Computation

Top Venues

IACR Cryptol. ePrint Arch.

Electron. Colloquium Comput. Complex.

Publications

Tom Gur, Jack O'Connor, Nicholas Spooner
Perfect Zero-Knowledge PCPs for #P. CoRR (2024)
Tom Gur, Jack O'Connor, Nicholas Spooner
Perfect Zero-Knowledge PCPs for #P. STOC (2024)
John Bostanci, Luowen Qian, Nicholas Spooner, Henry Yuen
An Efficient Quantum Parallel Repetition Theorem and Applications. STOC (2024)
Tom Gur, Jack O'Connor, Nicholas Spooner
Perfect Zero-Knowledge PCPs for #P. IACR Cryptol. ePrint Arch. 2024 (2024)
John Bostanci, Luowen Qian, Nicholas Spooner, Henry Yuen
An efficient quantum parallel repetition theorem and applications. CoRR (2023)
Alessandro Chiesa, Marcel Dall'Agnol, Ziyi Guan, Nicholas Spooner
Concrete Security for Succinct Arguments from Vector Commitments. IACR Cryptol. ePrint Arch. 2023 (2023)
Aarushi Goel, Mathias Hall-Andersen, Gabriel Kaptchuk, Nicholas Spooner
Speed-Stacking: Fast Sublinear Zero-Knowledge Proofs for Disjunctions. EUROCRYPT (2) (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)
Marcel Dall'Agnol, Nicholas Spooner
On the Necessity of Collapsing for Post-Quantum and Quantum Commitments. TQC (2023)
John Bostanci, Luowen Qian, Nicholas Spooner, Henry Yuen
An efficient quantum parallel repetition theorem and applications. IACR Cryptol. ePrint Arch. 2023 (2023)
John Bostanci, Luowen Qian, Nicholas Spooner, Henry Yuen
An efficient quantum parallel repetition theorem and applications. Electron. Colloquium Comput. Complex. (2023)
Megan Chen, Alessandro Chiesa, Tom Gur, Jack O'Connor, Nicholas Spooner
Proof-Carrying Data from Arithmetized Random Oracles. EUROCRYPT (2) (2023)
Sunoo Park, Nicholas Spooner
The Superlinearity Problem in Post-quantum Blockchains. FC (1) (2023)
Alex Lombardi, Fermi Ma, Nicholas Spooner
Post-Quantum Zero Knowledge, Revisited or: How to Do Quantum Rewinding Undetectably. FOCS (2022)
Megan Chen, Alessandro Chiesa, Nicholas Spooner
On Succinct Non-Interactive Arguments in Relativized Worlds. IACR Cryptol. ePrint Arch. 2022 (2022)
Sunoo Park, Nicholas Spooner
The Superlinearity Problem in Post-Quantum Blockchains. IACR Cryptol. ePrint Arch. 2022 (2022)
Marcel Dall'Agnol, Nicholas Spooner
On the necessity of collapsing. IACR Cryptol. ePrint Arch. 2022 (2022)
Russell W. F. Lai, Giulio Malavolta, Nicholas Spooner
Quantum Rewinding for Many-Round Protocols. TCC (1) (2022)
Russell W. F. Lai, Giulio Malavolta, Nicholas Spooner
Quantum Rewinding for Many-Round Protocols. 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)
Megan Chen, Alessandro Chiesa, Nicholas Spooner
On Succinct Non-interactive Arguments in Relativized Worlds. EUROCRYPT (2) (2022)
Aarushi Goel, Mathias Hall-Andersen, Gabriel Kaptchuk, Nicholas Spooner
Speed-Stacking: Fast Sublinear Zero-Knowledge Proofs for Disjunctions. IACR Cryptol. ePrint Arch. 2022 (2022)
Alessandro Chiesa, Fermi Ma, Nicholas Spooner, Mark Zhandry
Post-Quantum Succinct Arguments. CoRR (2021)
Alex Lombardi, Fermi Ma, Nicholas Spooner
Post-Quantum Zero Knowledge, Revisited (or: How to Do Quantum Rewinding Undetectably). CoRR (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)
Alex Lombardi, Fermi Ma, Nicholas Spooner
Post-Quantum Zero Knowledge, Revisited (or: How to do Quantum Rewinding Undetectably). 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)
Alex Lombardi, Fermi Ma, Nicholas Spooner
Post-Quantum Zero Knowledge, Revisited (or: How to Do Quantum Rewinding Undetectably). Electron. Colloquium Comput. Complex. 28 (2021)
Benedikt Bünz, Alessandro Chiesa, Pratyush Mishra, Nicholas Spooner
Proof-Carrying Data from Accumulation Schemes. IACR Cryptol. ePrint Arch. 2020 (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)
Benedikt Bünz, Alessandro Chiesa, Pratyush Mishra, Nicholas Spooner
Recursive Proof Composition from Accumulation Schemes. TCC (2) (2020)
Cecilia Boschini, Jan Camenisch, Max Ovsiankin, Nicholas Spooner
Efficient Post-quantum SNARKs for RSIS and RLWE and Their Applications to Privacy. PQCrypto (2020)
Cecilia Boschini, Jan Camenisch, Max Ovsiankin, Nicholas Spooner
Efficient Post-Quantum SNARKs for RSIS and RLWE and their Applications to Privacy. IACR Cryptol. ePrint Arch. 2020 (2020)
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)
Eli Ben-Sasson, Alessandro Chiesa, Michael Riabzev, Nicholas Spooner, Madars Virza, Nicholas P. Ward
Aurora: Transparent Succinct Arguments for R1CS. EUROCRYPT (1) (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, Nicholas Spooner
Succinct Arguments in the Quantum Random Oracle Model. TCC (2) (2019)
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)
Alessandro Chiesa, Michael A. Forbes, Tom Gur, Nicholas Spooner
Spatial Isolation Implies Zero Knowledge Even in a Quantum World. CoRR (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, 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)
Alessandro Chiesa, Michael A. Forbes, Nicholas Spooner
A Zero Knowledge Sumcheck and its Applications. IACR Cryptol. ePrint Arch. 2017 (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)
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, Michael Riabzev, Nicholas Spooner
Short Interactive Oracle Proofs with Constant Query Complexity, via Composition and Sumcheck. IACR Cryptol. ePrint Arch. 2016 (2016)
Eli Ben-Sasson, Alessandro Chiesa, Nicholas Spooner
Interactive Oracle Proofs. IACR Cryptol. ePrint Arch. 2016 (2016)
Eli Ben-Sasson, Alessandro Chiesa, Ariel Gabizon, Michael Riabzev, Nicholas Spooner
Short Interactive Oracle Proofs with Constant Query Complexity, via Composition and Sumcheck. Electron. Colloquium Comput. Complex. 23 (2016)
Eli Ben-Sasson, Alessandro Chiesa, Michael A. Forbes, Ariel Gabizon, Michael Riabzev, Nicholas Spooner
On Probabilistic Checking in Perfect Zero Knowledge. Electron. Colloquium Comput. Complex. 23 (2016)
Eli Ben-Sasson, Alessandro Chiesa, Michael A. Forbes, Ariel Gabizon, Michael Riabzev, Nicholas Spooner
On Probabilistic Checking in Perfect Zero Knowledge. CoRR (2016)
Johannes Lengler, Nicholas Spooner
Fixed Budget Performance of the (1+1) EA on Linear Functions. FOGA (2015)