Verifiable Decapsulation Secures Post-Quantum Key Exchange Implementation Correctness
This new cryptographic primitive enables provable correctness for post-quantum key exchange mechanisms, transforming un-auditable local operations into publicly verifiable proofs of secure shared secret derivation.
Multi-Linear Commitments Achieve Logarithmic ZK Proof Time
New multi-linear commitment scheme reduces ZK prover complexity to logarithmic time, fundamentally accelerating verifiable computation and on-chain privacy.
Generic Folding Scheme Enables Efficient Non-Uniform Verifiable Computation
Protostar introduces a generic folding scheme for special-sound protocols, drastically reducing recursive overhead for complex, non-uniform verifiable computation.
ZKPoT Secures Federated Learning Consensus and Model Privacy
The Zero-Knowledge Proof of Training (ZKPoT) mechanism leverages zk-SNARKs to validate model contributions without revealing data, resolving the privacy-efficiency conflict in decentralized AI.
Delivery-Fairness Secures Decentralized Randomness Beacons against Time-Advantage Attacks
Introducing delivery-fairness, a new formal property, rigorously quantifies and mitigates the time-advantage vulnerability in randomness beacons, ensuring protocol-level fairness.
Fast Zero-Knowledge Proofs for Structured Data Grammar Parsing
Coral enables private, verifiable computation on structured data like JSON by proving correct parsing via efficient segmented memory.
Fast Zero-Knowledge Proofs for Verifiable Machine Learning via Circuit Optimization
The Constraint-Reduced Polynomial Circuit (CRPC) dramatically lowers ZKP overhead for matrix operations, making private, verifiable AI practical.
Lattice Zero-Knowledge Proofs Secure Scalable Blockchains Post-Quantum
Lattice cryptography enables a quantum-secure ZK proof system, future-proofing on-chain privacy and scalability against cryptographic collapse.
Zero-Knowledge Proof of Training Secures Federated Learning Consensus
ZKPoT uses zk-SNARKs to verify model contributions privately, eliminating the trade-off between decentralized AI privacy and consensus efficiency.