Nicholas Spooner

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Post-quantum zero knowledge, revisited or: how to do quantum rewinding undetectably	2025-08-15	Paper
Post-quantum succinct arguments: breaking the quantum rewinding barrier	2025-08-13	Paper
Spatial isolation implies zero knowledge even in a quantum world	2025-08-12	Paper
Untangling the security of Kilian's protocol: upper and lower bounds	2025-07-23	Paper
On the necessity of collapsing for post-quantum and quantum commitments	2024-11-20	Paper
The superlinearity problem in post-quantum blockchains	2024-07-17	Paper
Speed-stacking: fast sublinear zero-knowledge proofs for disjunctions Advances in Cryptology – EUROCRYPT 2023	2023-12-08	Paper
Proof-carrying data from arithmetized random oracles Advances in Cryptology – EUROCRYPT 2023	2023-12-08	Paper
Quantum rewinding for many-round protocols Theory of Cryptography	2023-08-14	Paper
Efficient post-quantum SNARKs for RSIS and RLWE and their applications to privacy Post-Quantum Cryptography	2022-10-13	Paper
On succinct non-interactive arguments in relativized worlds	2022-08-30	Paper
Spatial Isolation Implies Zero Knowledge Even in a Quantum World Journal of the ACM	2022-03-31	Paper
Proof-carrying data without succinct arguments	2022-03-31	Paper
Recursive proof composition from accumulation schemes	2022-03-23	Paper
\textsc{Fractal}: post-quantum and transparent recursive proofs from holography	2021-12-01	Paper
Interactive oracle proofs with constant rate and query complexity	2020-05-27	Paper
Succinct arguments in the quantum random oracle model	2020-04-30	Paper
Linear-size constant-query IOPs for delegating computation	2020-04-30	Paper
Aurora: transparent succinct arguments for R1CS	2020-02-04	Paper
Zero knowledge protocols from succinct constraint detection	2018-01-19	Paper
Fixed Budget Performance of the (1+1) EA on Linear Functions Proceedings of the 2015 ACM Conference on Foundations of Genetic Algorithms XIII	2017-05-10	Paper
Interactive oracle proofs Theory of Cryptography	2016-12-22	Paper

Research outcomes over time

This page was built for person: Nicholas Spooner