Zero-Knowledge Proof of Training Secures Decentralized Federated AI Consensus
ZKPoT leverages zk-SNARKs to prove AI model quality without revealing private data, solving the privacy-utility trade-off in decentralized learning.
Artemis CP-SNARKs Enable Practical, Verifiable, Privacy-Preserving Machine Learning
Artemis CP-SNARK is a modular construction that eliminates the commitment verification bottleneck in zkML, making large-scale, privacy-preserving AI models practical.
Black-Box Commit-and-Prove SNARKs Accelerate Verifiable Machine Learning Efficiency
Artemis introduces a black-box Commit-and-Prove SNARK architecture, radically cutting prover time by decoupling commitment checks from the core verifiable computation.
FHE Breakthrough Achieves Practical Encrypted AI Computation Eighty Times Faster
A novel FHE scheme optimizes encrypted matrix arithmetic, delivering an 80x speedup crucial for practical, privacy-preserving on-chain AI and data analysis.
Zero-Knowledge Proofs Verifiably Secure Large Language Model Inference
A novel ZKP system, zkLLM, enables the efficient, private verification of 13-billion-parameter LLM outputs, securing AI integrity and intellectual property.
