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

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

Reversion strategy for Haiko AMM

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.

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

No description provided.

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.

Rust-based distributed ML inference with zero-knowledge proofs for privacy-preserving and verifiable computation.

zk-OPML: Using zero-knowledge proofs to optimize OPML

Capability denial benchmark proving 0% jailbreak rate across 160+ attack vectors. zkML safety proofs on Base mainnet.

ZK-TDA: Zero-Knowledge Proofs for TDA Fingerprinting (BN254/PLONK + Rust backend)

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.

ETH Wallet Risk Scorer | 0-100 risk score + explainable reasons for any Ethereum address | Built with Isolation Forest + graph features

Securing confidential data in database using ZKML based cryptographic approach with auto encoder based encoding

Sovereign AI DePIN Grid. A `no_std` Rust kernel using Thermodynamic Proofs (Entropy) to verify edge inference. 100% Z3 Formally Verified. Settled on Solana, permanently archived on Arweave. Dismantling the AI Monopoly.

zkML: Trade-offs in accuracy vs. proving cost