Lattice Polynomial Commitments Achieve Quantum-Safe, Transparent, Succinct Proofs
A new lattice-based polynomial commitment, secured by the SIS problem, delivers post-quantum SNARKs with smaller proofs and no trusted setup.
DeepFold Optimizes Zero-Knowledge Proofs with Efficient Multilinear Commitments
DeepFold, a new Reed-Solomon-based polynomial commitment scheme, achieves optimal prover time and concise proofs, unlocking practical, large-scale verifiable computation.
Blockchain Designated Verifier Proofs Ensure Non-Transferable Privacy on Public Ledgers
The Blockchain Designated Verifier Proof (BDVP) uses a verifier-held trapdoor to simulate fake proofs, restoring non-transferable privacy to ZKPs on public chains.
Lattice Polynomial Commitments Unlock Concretely Efficient Post-Quantum Zero-Knowledge Arguments
A new lattice-based polynomial commitment scheme drastically shrinks proof size, providing the essential, quantum-safe primitive for future scalable blockchain privacy.
OKX Unifies Centralized and Decentralized Trading with New CeDeFi Feature
The integration of multi-chain DEX access with self-custody within a CEX application strategically abstracts away wallet friction, accelerating retail DeFi adoption.
Lattice Commitments Secure Transparent Post-Quantum Zero-Knowledge Proofs
A new lattice-based polynomial commitment scheme secures zero-knowledge proofs against quantum attacks, eliminating the need for a trusted setup.
Zero-Knowledge Mechanisms Commit to Secret Rules without Trust
Research introduces a ZK-based cryptographic primitive enabling mechanism designers to commit to hidden rules while guaranteeing verifiability and incentive alignment.
Isogeny-Based Commitments Enable Transparent Post-Quantum ZK Arguments
Isogeny-based polynomial commitments deliver the first transparent, quantum-resistant ZK-SNARK, securing all verifiable computation.
Zero-Knowledge Commitment Enables Private Verifiable Mechanism Design
Cryptography now allows a mechanism designer to prove a system's fairness and incentive compatibility without revealing its private economic rules, securing hidden yet verifiable contracts.
