Fast zkVM born at a16z Crypto substantially adapted by ICME Labs (NovaNet) for verifiable machine learning. ⚡
-
Updated
Aug 13, 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
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.
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).
Decentralized GRPO on Bittensor SN81: verified frontier rollouts, validator-authoritative training, and public evidence.
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
A flight recorder for AI agents on BOT Chain: every decision on-chain, full history replayable from chain data alone.
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.
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.
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.
Public SDKs and MCP bridge for autonomous agents to discover, quote, execute, pay, and verify work through 9192.
Proof console for routed specialist analysis with signed execution, verifier attestations, receipts, and testnet provenance.
CLI, library, and MCP server for signing, hash-chaining, and verifying compute usage receipts across any provider.
EigenLayer is a restaking protocol on Ethereum operated by Layr Labs that lets stakers re-use staked ETH (or liquid-staking tokens) to secure additional off-chain services called Actively Validated Services (AVSs).
Verifiable, injection-resistant agent memory — every write hashed + committed to a signed Merkle log, reads return inclusion proofs, runs in an Intel TDX TEE on EigenCompute so the operator can't tamper.
Add a description, image, and links to the verifiable-compute topic page so that developers can more easily learn about it.
To associate your repository with the verifiable-compute topic, visit your repo's landing page and select "manage topics."