Nicholas Spooner

67 papers A* 7A 1C 1Journal 41Unranked 16
YearRankTypeTitle / Venue / Authors
2025 A* conf
A Zero-Knowledge PCP Theorem.
STOC
Tom Gur, Jack O'Connor, Nicholas Spooner
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
2024 J jnl
A Zero-Knowledge PCP Theorem.
CoRR
Tom Gur, Jack O'Connor, Nicholas Spooner
2024 J jnl
A Zero-Knowledge PCP Theorem.
IACR Cryptol. ePrint Arch.
Tom Gur, Jack O'Connor, Nicholas Spooner
2024 A* conf
An Efficient Quantum Parallel Repetition Theorem and Applications.
STOC
John Bostanci, Luowen Qian, Nicholas Spooner, Henry Yuen
2024 A* conf
Perfect Zero-Knowledge PCPs for #P.
STOC
Tom Gur, Jack O'Connor, Nicholas Spooner
2024 J jnl
Perfect Zero-Knowledge PCPs for #P.
CoRR
Tom Gur, Jack O'Connor, Nicholas Spooner
2024 J jnl
Perfect Zero-Knowledge PCPs for #P.
IACR Cryptol. ePrint Arch.
Tom Gur, Jack O'Connor, Nicholas Spooner
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
2023 J jnl
An efficient quantum parallel repetition theorem and applications.
CoRR
John Bostanci, Luowen Qian, Nicholas Spooner, Henry Yuen
2023 J jnl
An efficient quantum parallel repetition theorem and applications.
Electron. Colloquium Comput. Complex.
John Bostanci, Luowen Qian, Nicholas Spooner, Henry Yuen
2023 J jnl
An efficient quantum parallel repetition theorem and applications.
IACR Cryptol. ePrint Arch.
John Bostanci, Luowen Qian, Nicholas Spooner, Henry Yuen
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 — conf
On the Necessity of Collapsing for Post-Quantum and Quantum Commitments.
TQC
Marcel Dall'Agnol, Nicholas Spooner
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 — conf
Speed-Stacking: Fast Sublinear Zero-Knowledge Proofs for Disjunctions.
EUROCRYPT (2)
Aarushi Goel, Mathias Hall-Andersen, Gabriel Kaptchuk, Nicholas Spooner
2023 — conf
The Superlinearity Problem in Post-quantum Blockchains.
FC (1)
Sunoo Park, Nicholas Spooner
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
On the necessity of collapsing.
IACR Cryptol. ePrint Arch.
Marcel Dall'Agnol, Nicholas Spooner
2022 A* conf
Post-Quantum Zero Knowledge, Revisited or: How to Do Quantum Rewinding Undetectably.
FOCS
Alex Lombardi, Fermi Ma, Nicholas Spooner
2022 — conf
Quantum Rewinding for Many-Round Protocols.
TCC (1)
Russell W. F. Lai, Giulio Malavolta, Nicholas Spooner
2022 J jnl
Quantum Rewinding for Many-Round Protocols.
IACR Cryptol. ePrint Arch.
Russell W. F. Lai, Giulio Malavolta, Nicholas Spooner
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
Speed-Stacking: Fast Sublinear Zero-Knowledge Proofs for Disjunctions.
IACR Cryptol. ePrint Arch.
Aarushi Goel, Mathias Hall-Andersen, Gabriel Kaptchuk, Nicholas Spooner
2022 J jnl
The Superlinearity Problem in Post-Quantum Blockchains.
IACR Cryptol. ePrint Arch.
Sunoo Park, Nicholas Spooner
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 J jnl
Post-Quantum Zero Knowledge, Revisited (or: How to Do Quantum Rewinding Undetectably).
CoRR
Alex Lombardi, Fermi Ma, Nicholas Spooner
2021 J jnl
Post-Quantum Zero Knowledge, Revisited (or: How to Do Quantum Rewinding Undetectably).
Electron. Colloquium Comput. Complex.
Alex Lombardi, Fermi Ma, Nicholas Spooner
2021 J jnl
Post-Quantum Zero Knowledge, Revisited (or: How to do Quantum Rewinding Undetectably).
IACR Cryptol. ePrint Arch.
Alex Lombardi, Fermi Ma, Nicholas Spooner
2021 — conf
Proof-Carrying Data Without Succinct Arguments.
CRYPTO (1)
Benedikt Bünz, Alessandro Chiesa, William Lin, Pratyush Mishra, Nicholas Spooner
2020 J jnl
Efficient Post-Quantum SNARKs for RSIS and RLWE and their Applications to Privacy.
IACR Cryptol. ePrint Arch.
Cecilia Boschini, Jan Camenisch, Max Ovsiankin, Nicholas Spooner
2020 C conf
Efficient Post-quantum SNARKs for RSIS and RLWE and Their Applications to Privacy.
PQCrypto
Cecilia Boschini, Jan Camenisch, Max Ovsiankin, Nicholas Spooner
2020 — conf
Fractal: Post-quantum and Transparent Recursive Proofs from Holography.
EUROCRYPT (1)
Alessandro Chiesa, Dev Ojha, Nicholas Spooner
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 — —
Succinct Non-Interactive Arguments for Arithmetic Circuits
Nicholas Spooner
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 — 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
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
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 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
Zero Knowledge Protocols from Succinct Constraint Detection.
TCC (2)
Eli Ben-Sasson, Alessandro Chiesa, Michael A. Forbes, Ariel Gabizon, Michael Riabzev, Nicholas Spooner
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 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 A conf
Fixed Budget Performance of the (1+1) EA on Linear Functions.
FOGA
Johannes Lengler, Nicholas Spooner