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.
Fiat-Shamir Transformation Vulnerable to Practical Attacks, Impacting Blockchain Security
Researchers expose a critical flaw in Fiat-Shamir, enabling false proofs in widely used systems and demanding re-evaluation of blockchain security foundations.
