vt-asaplab/ZIP
Zero-Knowledge AI Inference with High Precision
This project helps researchers and cryptographers evaluate how well zero-knowledge proof systems can verify artificial intelligence (AI) model inferences with high numerical precision. It takes AI model architectures (like CNNs or LLMs) and their corresponding inputs, then outputs detailed performance metrics for generating cryptographic proofs of their calculations. The end-users are primarily academic researchers in cryptography and AI.
Use this if you are a cryptographic researcher needing to benchmark the performance and precision of zero-knowledge proof systems for AI inference.
Not ideal if you need a production-ready system for deploying AI models with zero-knowledge proofs, as this is a research prototype.
Stars
12
Forks
—
Language
C
License
Apache-2.0
Category
Last pushed
Jan 22, 2026
Commits (30d)
0
Get this data via API
curl "https://pt-edge.onrender.com/api/v1/quality/ml-frameworks/vt-asaplab/ZIP"
Open to everyone — 100 requests/day, no key needed. Get a free key for 1,000/day.
Higher-rated alternatives
ICME-Lab/jolt-atlas
Fast zkVM born at a16z Crypto substantially adapted by ICME Labs (NovaNet) for verifiable...
socathie/circomlib-ml
Circom Circuits Library for Machine Learning
mithril-security/blindai
Confidential AI deployment with secure enclaves :lock:
SpeyTech/certifiable-inference
Deterministic, bit-perfect AI inference for safety-critical systems
gizatechxyz/LuminAIR
A zkML framework for ensuring the integrity of computational graphs using Circle STARK proofs