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.

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.

Zero-Knowledge AI Inference with High Precision

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

👽 language from future

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.

Trustless Agent protocol on Base. ERC-8004 identity, x402 micropayments, MCP-native, AgentKit + CDP wallets, EIP-7702, ERC-4337, ERC-4626 vault, EAS attestations, zkML-verifiable inference. Open-source MIT, real yield, fee switch live.

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.

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

Ritual AI ❖ ❖ A Comprehensive Guide Running Infernet Node

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

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