Linear-Time Post-Quantum SNARKs Revolutionize Verifiable Computation Efficiency
Brakedown introduces a post-quantum, linear-time SNARK by engineering a novel polynomial commitment scheme using linear codes, fundamentally accelerating verifiable computation.
Proof of Quantum Work Secures Blockchain against Classical Intractability
A new consensus mechanism leverages quantum supremacy to create energy-efficient, classically intractable proof-of-work, fundamentally securing the next generation of decentralized systems.
Post-Quantum Accumulators Enable Logarithmic Stateless Verification
Research introduces Isogeny-Based Accumulators, a post-quantum primitive that achieves logarithmic proof size for set membership, fundamentally securing stateless clients.
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.
Lattice-Based Commitments Achieve Post-Quantum Zero-Knowledge with Transparent Setup
A new lattice-based polynomial commitment provides post-quantum security and a transparent setup, fundamentally advancing trustless, quantum-resistant verifiable computation.
SmallWood: Hash-Based Commitments Achieve Post-Quantum Zero-Knowledge for Small Instances
SmallWood introduces a post-quantum, hash-based commitment scheme, dramatically shrinking proof sizes for common, small-scale verifiable computation.
zk-STARKs Enable Scalable Private Decentralized Identity and Data Sharing
This framework uses zk-STARKs and cryptographic accumulators to enable private identity verification and scalable credential revocation, securing a trusted data economy.
Lattice-Based Folding Achieves Post-Quantum, Incremental Succinct Proof Systems
Lattice-based folding schemes construct the first post-quantum recursive proof system, enabling quantum-secure, incrementally verifiable computation for massive data streams.
Single Root Identity Secures Multi-Curve, Post-Quantum, Context-Isolated Systems
MSCIKDF, a new key derivation primitive, unifies cryptographic identity across multi-chain and PQC environments while guaranteeing strict context isolation.
