Scaling Zero-Knowledge Proofs through Co-Design and Silently Verifiable Proofs
New co-design paradigm scales zero-knowledge proofs, enabling efficient, private computation via silently verifiable proofs.
Ligetron: Scalable, Post-Quantum, Memory-Efficient Zero-Knowledge Proofs for Web Applications
This research introduces Ligetron, a novel zero-knowledge proof system that leverages WebAssembly semantics to achieve sublinear memory usage and post-quantum security, enabling scalable verifiable computation on commodity hardware and browsers.
ZKProphet: Optimizing Zero-Knowledge Proof Performance on GPU Architectures
This research identifies Number-Theoretic Transform as the critical bottleneck in GPU-accelerated Zero-Knowledge Proofs, proposing optimizations for enhanced verifiable computation.
Binary GKR Proof System Accelerates ZK-EVM Computation by Optimizing Keccak Hashing
Binary GKR introduces a new ZK proof system optimized for bitwise operations, fundamentally unlocking the speed required for practical ZK-EVMs.
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.
Zero-Knowledge Proof of Training Secures Decentralized Federated Learning Consensus
ZKPoT uses zk-SNARKs to verify decentralized model accuracy without revealing private data, solving the efficiency-privacy trade-off in federated learning.
Zero-Knowledge Proof of Training Secures Private Federated Learning Consensus
ZKPoT consensus validates machine learning contributions privately using zk-SNARKs, balancing efficiency, security, and data privacy for decentralized AI.
Zero-Knowledge Proof of Training Secures Private Decentralized Federated Learning Consensus
ZKPoT introduces a zk-SNARK-based consensus mechanism that proves model accuracy without revealing private data, resolving the critical privacy-accuracy trade-off in decentralized AI.
Transparent Zero-Knowledge Proofs Achieve Optimal Prover Computation and Succinct Verification
The Libra proof system introduces a transparent zero-knowledge scheme achieving optimal linearithmic prover time, unlocking universally scalable private computation.
