Hyper-Efficient Universal SNARKs Decouple Proving Cost from Setup
HyperPlonk introduces a new polynomial commitment scheme, achieving a universal and updatable setup with dramatically faster linear-time proving, enabling mass verifiable computation.
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.
Silently Verifiable Proofs Enable Constant Communication Batch ZKP Verification
Silently verifiable proofs introduce a cryptographic primitive that reduces batch verification communication overhead to a single field element, unlocking truly scalable private computation.
Zero-Knowledge Proof of Training Secures Private Federated Consensus
A novel Zero-Knowledge Proof of Training (ZKPoT) mechanism leverages zk-SNARKs to validate machine learning contributions privately, enabling a scalable, decentralized AI framework.
Zero-Knowledge Proof of Training Secures Private Decentralized AI Consensus
ZKPoT, a novel zk-SNARK-based consensus, cryptographically validates decentralized AI model contributions, eliminating privacy risks and scaling efficiency.
Zero-Knowledge Proof of Training Secures Federated Consensus
The Zero-Knowledge Proof of Training consensus mechanism uses zk-SNARKs to prove model performance without revealing private data, solving the privacy-utility conflict in decentralized computation.
Sublinear Memory Zero-Knowledge Proofs Democratize Verifiable Computation
Introducing the first ZKP system with memory scaling to the square-root of computation size, this breakthrough enables privacy-preserving verification on edge devices.
Succinct Zero-Knowledge Arguments for Unknown Order Homomorphic Encryption
This research introduces novel ZK arguments for the CL cryptosystem, enabling private, verifiable computations in unknown order groups for enhanced privacy.
