Quantum Algorithm Invalidates Post-Quantum SNARK Security Assumptions, Forcing Re-Evaluation
A quantum polynomial-time sampler breaks the hardness assumption for lattice-based SNARKs, demanding new post-quantum security proofs.
Algebraic Verifiable Delay Functions Cryptanalysis Undermines Decentralized Randomness Security
Cryptanalysis exposes a critical flaw in algebraic Verifiable Delay Functions, proving their fixed time delay can be bypassed with parallel computation, requiring new primitives for secure public randomness.
Lattice-Based Arguments Achieve Succinct Post-Quantum Verification Using Homomorphic Commitments
This work delivers the first lattice-based argument with polylogarithmic verification time, resolving the trade-off between post-quantum security and SNARK succinctness.
