
Proofs of Inference (zkML)
ETHGlobal Prague 2025 — 2× 1st place
A decentralized marketplace to request, verify, and pay for private, auditable AI inference. ML models compile into zk-SNARK circuits, so a provider can prove a specific model produced a specific output without revealing the model or data.






