Post-Quantum SNARKs Secure Arithmetic Circuits with Minimal Proof Size
This breakthrough constructs the first efficient post-quantum zk-SNARK for arithmetic circuits, ensuring verifiable computation remains secure against quantum adversaries.
Post-Quantum Polynomial Commitments Enable Scalable, Quantum-Resistant Blockchain Architectures
This lattice-based polynomial commitment scheme achieves post-quantum security and succinct proof size, fundamentally unlocking quantum-resistant ZK-rollups and data availability.
Vanishing Polynomial Commitments Enable Post-Quantum Succinct Arguments and Recursive Folding
A novel commitment scheme utilizing vanishing polynomials unlocks the first lattice-based linear-time prover and polylogarithmic verifier succinct arguments.
Zero-Knowledge Proofs of Quantumness Secure Quantum Computing Verification
ZKPoQ formalizes quantum completeness and classical soundness with a verifier-side zero-knowledge argument, preventing classical verifiers from exploiting quantum provers' secrets.
Lattice Cryptography Shrinks Quantum-Secure Zero-Knowledge Proofs
A new lattice-based zk-SNARK construction fundamentally shrinks proof size by over 10x, making quantum-resistant verifiable computation practical for all blockchain architectures.
Quantum-Secure Zero-Knowledge Proofs via Extractable Homomorphic Commitments
A novel extractable homomorphic commitment primitive enables efficient lattice-based non-interactive zero-knowledge proofs provably secure against quantum adversaries.
Lattice-Based DKG Secures Asynchronous Systems against Quantum Threats
Research introduces LADKG, a post-quantum DKG protocol integrating AV3S and AACS to enable scalable, publicly verifiable threshold cryptography in asynchronous BFT networks.
Post-Quantum zk-SNARKs from LWE Secure Verifiable Computation for All Circuits
This research formalizes quantum-safe zk-SNARKs for arithmetic circuits using LWE, securing blockchain's verifiable computation layer.
Benchmarking Post-Quantum Signatures Secures Blockchain against Quantum Attack
Quantifying the performance of NIST-standardized post-quantum signature schemes proves that long-term, quantum-resistant blockchain security is computationally viable.
