Lattice-Based SNARGs Achieve Post-Quantum Proof Efficiency
This new Ring-QAP construction uses RLWE to significantly reduce the amortized proof size of post-quantum zk-SNARKs, enabling practical verifiable computation.
Post-Quantum Transparent zkSNARKs Achieve Succinct, Trustless, and Efficient Verifiable Computation
Phecda combines new polynomial commitment and VOLE-in-the-Head to deliver the first post-quantum, transparent, and succinct zero-knowledge proof system.
Lattice-Based Signatures Secure Blockchain against Quantum Threats
Research introduces a new lattice-based signature scheme, optimizing key size and verification speed to deliver quantum-resistant, high-throughput blockchain security.
Sublinear MPC-in-the-Head Achieves Post-Quantum Zero-Knowledge Proof Efficiency
A novel MPC-in-the-Head construction leverages linear coding to achieve post-quantum security with sublinear proof verification, enabling fast, future-proof computation integrity.
Quantum Computing Threatens Bitcoin Ethereum Cryptography Integrity Forging Signatures
Advanced quantum computing breakthroughs could allow state actors to derive private keys from public ones, enabling signature forgery and asset theft.
Lattice-Based Folding Schemes Achieve Post-Quantum Scalable Zero-Knowledge Proofs
This new lattice-based folding primitive fundamentally secures recursive zero-knowledge proofs against quantum adversaries, ensuring long-term verifiable computation integrity.
Zinc’s Integer Arithmetic Argument Bypasses Massive SNARK Arithmetization Overheads
Zinc introduces a hash-based succinct argument for native integer arithmetic, eliminating orders-of-magnitude arithmetization overheads for practical ZK computation.
Brakedown Achieves Post-Quantum Sublinear Polynomial Commitment without Trusted Setup
This new polynomial commitment scheme combines Reed-Solomon codes with Merkle trees, enabling post-quantum security and sublinear proof size.
Single Root Identity Unifies Multi-Chain, Post-Quantum Cryptography with Isolation
MSCIKDF introduces a unified key derivation primitive for deterministic, context-isolated, and post-quantum-ready identity across diverse cryptographic domains.
