zkml

Framework to prove inference of ML models blazingly fast

Verifiable inference on Bittensor

Distributed zkML

JSTprove - Fast, verifiable AI

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.

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 (ACM CCS 2025)

Optimization for on-chain private machine learning.

Reversion strategy for Haiko AMM

👽 language from future

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

Beginner-to-master roadmap for becoming a modern AI engineer: AI and ML fundamentals, deep learning, LLMs, RAG, agents, model infrastructure, optimization, hardware acceleration, AI security, blockchain, and ZKML.

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.

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)

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.