Resumable Zero-Knowledge Proofs Drastically Cut Sequential Verification Cost
A new cryptographic primitive, resumable ZKPoK, enables sequential proof sessions to be exponentially cheaper, unlocking efficient stateful post-quantum cryptography.
Efficient Lattice Commitments Secure Post-Quantum Verifiable Computation
Greyhound introduces the first concretely efficient lattice-based polynomial commitment scheme, providing quantum-resistant security for all verifiable computation.
Zero-Knowledge Proof of Training Secures Decentralized Federated Learning
ZKPoT consensus uses zk-SNARKs to verify machine learning contributions privately, resolving the privacy-verifiability trade-off for decentralized AI.
Quantum Consensus Mechanism Secures Consortium Blockchains against Future Threats
This novel quantum-enhanced Proof-of-Vote protocol integrates quantum signatures and entangled states to establish the first post-quantum security model for permissioned decentralized ledgers.
Recursive Inner Product Arguments Enable Universal Transparent Polynomial Commitments
A novel recursive folding of polynomial commitments into Inner Product Arguments yields universal, transparent proof systems for highly scalable verifiable computation.
Verifiable Computation for Approximate FHE Unlocks Private AI Scalability
This new cryptographic framework efficiently integrates Verifiable Computation with approximate Homomorphic Encryption, enabling trustless, private AI computation at scale.
Lattice-Based Folding Achieves Post-Quantum Recursive SNARK Efficiency
The first lattice-based folding protocol enables recursive SNARKs to achieve post-quantum security while matching the performance of pre-quantum schemes.
Lattice zkSNARKs Achieve Practical Succinctness for Post-Quantum Security
New lattice-based zkSNARKs drastically shrink proof size, making quantum-resistant, privacy-preserving computation viable for next-generation decentralized systems.
Linear-Time Field-Agnostic SNARKs Unlock Massively Scalable Verifiable Computation
Brakedown introduces a practical linear-time encodable code, enabling the first $O(N)$ SNARK prover, fundamentally scaling verifiable computation and ZK-Rollups.
