Artemis SNARKs Efficiently Verify Cryptographic Commitments for Decentralized Machine Learning
Artemis, a new Commit-and-Prove SNARK, drastically cuts the commitment verification bottleneck, enabling practical, trustless zero-knowledge machine learning.
ZKTorch: Efficiently Verifying ML Inference with Zero-Knowledge Proofs
ZKTorch introduces a parallel proof accumulation system for ML inference, fundamentally enhancing transparency while safeguarding proprietary model weights.
