Framework to prove inference of ML models blazingly fast

Verifiable inference on Bittensor

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

JSTprove - Fast, verifiable AI

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.

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.

Reversion strategy for Haiko AMM

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

👽 language from future

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

MOOUSER — Cryptographic proof that AI models produce correct outputs. Verify ML inference with zero-knowledge proofs. REST API, Python/Rust/TS/Go SDKs, on-chain verification.

To leverage AIGC technology with NFT, marketplace and privacy.