Framework to prove inference of ML models blazingly fast

ezkl is an engine for doing inference for deep learning models and other computational graphs in a zk-snark (ZKML). Use it from Python, Javascript, or the command line.

Distributed zkML

Curated list of ZKML models and use cases made with Giza

Easy to use Verifiable AI and smart contracts interoperability.

Optimization for on-chain private machine learning.

Reversion strategy for Haiko AMM

Giza agents run provable ML models and act autonomously on Starknet using native Account Abstraction

Zero-Knowledge AI Inference with High Precision

AegisSovereignAI: The Cross-Ecosystem Trust Layer for the Distributed Enterprise. Verifiable Identity, Hardware-Rooted Integrity, and Sovereign AI Governance - from Silicon to Prompt. Unifying AI, Cloud-Native, and Decentralized architectures.

Scoria AI is a decentralized AI agent framework on blockchain, enabling private, on-device Web3 intelligence for users and enterprises.

verifiable and privacy-preserving inference via sparse neural networks by ZK-SNARKs schema (halo2)

A deliberate affront to egalitarian tokenomics—cryptographic proof that not all wallets are created equal. What can be claimed without reputation can be excluded without apology.

Ritual AI ❖ ❖ A Comprehensive Guide Running Infernet Node

To leverage AIGC technology with NFT, marketplace and privacy.

Scoria AI is a decentralized AI agent framework on blockchain, enabling private, on-device Web3 intelligence for users and enterprises.

This project implements the proof-of-concept of blockchain-based federated learning system with zero-knowledge proofs for model aggregation verification. MSc thesis in CS University of Tartu.

Build a decentralized AI infrastructure on Solana, enabling secure on-chain model training and creating a global marketplace for AI inference services.

A Picus-verified ZK-SNARK circuit for Linear Regression. Proves Sum of Squared Error (SSE) is within a public threshold without revealing model weights or training data.