Fast zkVM born at a16z Crypto substantially adapted by ICME Labs (NovaNet) for verifiable machine learning. ⚡
-
Updated
Jun 17, 2026 - Rust
#
verifiable-compute
Here are 13 public repositories matching this topic...
Verifiable and free cloud compute for AI agents. webMCP + MCP native. Check out our sandboxed Beta + research in the README
python docker mcp sandbox pypi pip cybersecurity openai ed25519 ai-agents claude fastapi model-context-protocol agent-skills webmcp agent-wallet verifiable-compute agent-infrastructure agentic-cloud
-
Updated
Jun 2, 2026 - Python
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.
rust distributed-systems cryptography ai blockchain p2p consensus web3 layer1 ai-inference verifiable-compute
-
Updated
Mar 4, 2026 - Rust
Decentralized compute protocol turning idle devices into verifiable AI infrastructure. Mobile-first, open, and accessible.
rust open-source distributed-systems ai protocol webassembly mobile-first blockchain-infrastructure ai-infrastructure deterministic-execution verifiable-compute decentralized-compute morocco-tech
-
Updated
May 13, 2026 - Rust
Self-sovereign verifiable compute audit chain prototype for agentic AI code generation (Veritas Iteration 0).
-
Updated
May 3, 2026 - Python
Verifiable proof-of-efficiency compute credit for LLM spend — prove your inference savings instead of trusting a dashboard. Pure-Python stdlib, zero-dependency.
python zero-dependency attestation tee cost-optimization finops llm llmops tlsnotary llm-routing verifiable-compute model-routing inference-cost llm-cost-optimization proof-of-efficiency
-
Updated
Jun 17, 2026 - Python
Credibly neutral money-and-work protocol for the Space Machine Economy. Research-stage, no token. Verify it yourself.
research robotics reproducible-research space proof-of-work ai-agents verifiable-compute tamper-evident-ledger credibly-neutral
-
Updated
Jun 10, 2026 - Python
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.
typescript coordination multi-agent merkle-tree shared-memory tee memory-injection ai-agents ai-security llm intel-tdx agent-memory verifiable-compute eigencompute eigencloud
-
Updated
Jun 5, 2026 - TypeScript
Public SDKs and MCP bridge for autonomous agents to discover, quote, execute, pay, and verify work through 9192.
-
Updated
May 29, 2026 - HTML
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.
mcp attestation tee policy-engine ai-agents intel-tdx eigenlayer llm-security verifiable-compute eigencloud
-
Updated
Jun 12, 2026 - TypeScript
A closed agent loop you can verify — runs in an EigenCompute TEE, signs every result, verified in your browser
-
Updated
Jun 9, 2026 - HTML
EigenLayer — restaking + AVS (actively validated services)
-
Updated
Jun 2, 2026
Decentralized research layer: AI generates structured reports, 0G Storage preserves them immutably, ResearchRegistry contract anchors proof on 0G Chain. Verifiable, ownable, permanent.
-
Updated
May 16, 2026 - JavaScript
Improve this page
Add a description, image, and links to the verifiable-compute topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the verifiable-compute topic, visit your repo's landing page and select "manage topics."