Fast zkVM born at a16z Crypto substantially adapted by ICME Labs (NovaNet) for verifiable machine learning. ⚡
-
Updated
Sep 24, 2026 - Rust
Fast zkVM born at a16z Crypto substantially adapted by ICME Labs (NovaNet) for verifiable machine learning. ⚡
Verifiable and free cloud compute for AI agents. webMCP + MCP native. Check out our sandboxed Beta + research in the README
Decentralized GRPO on Bittensor SN81: verified frontier rollouts, validator-authoritative training, and public evidence.
Decentralized compute protocol turning idle devices into verifiable AI infrastructure. Mobile-first, open, and accessible.
Self-sovereign verifiable compute audit chain prototype for agentic AI code generation (Veritas Iteration 0).
Deterministic Layer-1 for verifiable AI inference. Mbongo verifies off-chain AI execution receipts on-chain, enabling trustless AI-driven finance, risk engines, and decentralized compute coordination.
Tamper-evident, stranger-verifiable receipts for LLM cost-savings — anyone can recompute your caching/routing savings math offline, no trust in your dashboard required. Pure stdlib, zero-dependency.
The reliable inference layer for DePIN compute, with cloud fallback built in. Routes AI inference to Acurast, io.net & Akash (edge/GPU/TEE), auto-falls back to Cloudflare, and routes on verified output quality — not just cost and latency.
Credibly neutral money-and-work protocol for the Space Machine Economy. Research-stage, no token. Verify it yourself.
Decentralized research layer: AI generates structured reports, 0G Storage preserves them immutably, ResearchRegistry contract anchors proof on 0G Chain. Verifiable, ownable, permanent.
A closed agent loop you can verify — runs in an EigenCompute TEE, signs every result, verified in your browser
Verifiable, tamper-proof authorization for AI agents — a policy gate inside an EigenCompute TEE that cryptographically proves what an agent was allowed to do. Part 4 of the EigenCloud Agent Observability series.
Verifiable AI model lifecycle platform on Shelby (Shelbynet): blob storage, ShelbyUSD micropayments, Aptos Move anchoring. Deploy, verify, and monetize AI models with cryptographic proof.
Autonomous AI agents that buy their own skills on-chain and reason on TEE-verified 0G Compute. Built on all three 0G pillars - Chain, Storage & Compute.
The Workshop — Frontier Infra full-stack demo: a live board whose content is the stack's own receipts. Governed (Maintainer Gate Blueprint) · disciplined (ADL) · enforced (Proctor) · driven (machine-driver) · proven (signed AARs) · declared (AVL). A Frontier Infra project.
A flight recorder for AI agents on BOT Chain: every decision on-chain, full history replayable from chain data alone.
CLI, library, and MCP server for signing, hash-chaining, and verifying compute usage receipts across any provider.
Public SDKs and MCP bridge for autonomous agents to discover, quote, execute, pay, and verify work through 9192.
Open-source experimental research engine and benchmark harness for distributed verifiable compute — measured zkVM verification cost curves
Proof console for routed specialist analysis with signed execution, verifier attestations, receipts, and testnet provenance.
To associate your repository with the verifiable-compute topic, visit your repo's landing page and select "manage topics."