Framework to prove inference of ML models blazingly fast
☆3,352May 31, 2026Updated 5 months ago
Alternatives and similar repositories for deep-prove
Users that are interested in deep-prove are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The trust-minimized, zero-knowledge bridging protocol, designed for censorship resistance, extremely high security, and usage in decentra…☆73,728Jul 25, 2026Updated 3 months ago
- Ink Documentation☆36,441Oct 22, 2026Updated last week
- How to run an Ink Node☆36,398Oct 15, 2026Updated 2 weeks ago
- React component library for onchain applications - See README for modern alternatives☆36,299Oct 20, 2025Updated last year
- Shardeum is an EVM based autoscaling blockchain☆31,185Sep 15, 2025Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Reference implementation of Anoma☆33,554Jun 15, 2026Updated 4 months ago
- Main repository for the Linera protocol☆32,042Sep 18, 2026Updated last month
- ☆19,280Sep 9, 2026Updated last month
- FHEVM, a full-stack framework for integrating Fully Homomorphic Encryption (FHE) with blockchain applications☆24,749Updated this week
- Zama Bounty Program: Contribute to the FHE space and Zama's open source libraries and get rewarded 💰☆15,221Feb 20, 2026Updated 8 months ago
- SubQuery is an Open, Flexible, Fast and Universal data indexing framework for web3. Our mission is to help developers create the decentra…☆18,725Updated this week
- how will the protocol work?☆7,859Dec 8, 2025Updated 10 months ago
- An EVM compatible Substrate chain, powered by StorageHub and secured by EigenLayer☆7,876Apr 17, 2026Updated 6 months ago
- Hey is a decentralized and permissionless social media app built with Lens Protocol 🌿☆29,352Sep 6, 2026Updated last month
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- The official go implementation of the Canopy Network protocol☆14,705Oct 21, 2026Updated last week
- IntentKit is an open-source, self-hosted cloud agent cluster that manages a collaborative team of AI agents for you.☆6,521Sep 16, 2026Updated last month
- provides metadata for networkIDs and chainIDs☆78,562Feb 15, 2024Updated 2 years ago
- Everything required to run your own Base node☆68,304Sep 8, 2026Updated last month
- ☆20,148Sep 22, 2026Updated last month
- The trust layer for agent-to-agent commerce — natural-language mandates, ERC-7710 delegated permissions, x402 payments, escrow, and dispu…☆7,047Oct 26, 2026Updated last week
- 🌴 Empowering everyone to build reliable and efficient smart contracts.☆61,359Oct 26, 2026Updated last week
- ☆18,894Aug 21, 2024Updated 2 years ago
- Contracts of the Sismo Badge Minting Protocol☆15,868Oct 3, 2023Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Rust full node implementation of the Fuel v2 protocol.☆56,774Updated this week
- Space and Time | Proof of SQL☆5,383Updated this week
- This is the rust and substrate code for the GAN chain and its nodes.☆1,550Apr 15, 2025Updated last year
- Fuel Network Rust SDK☆42,959Oct 19, 2026Updated 2 weeks ago
- Fuel Network Typescript SDK☆42,919Updated this week
- Verifiable inference on Bittensor☆2,462Oct 20, 2026Updated last week
- Install, run and deploy your own decentralized AI agent service☆5,015Oct 13, 2025Updated last year
- OML 1.0 via Fingerprinting: Open, Monetizable, and Loyal AI☆3,495Jan 23, 2025Updated last year
- JS/TS monorepo for the Recall network☆954Oct 26, 2026Updated last week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Monorepo for the Warden Protocol.☆2,155Updated this week
- Filesystem tools for agents. Read, write, replace, grep, list, create, delete, move via VFS airlock. Part of Unicity AOS.☆8,383Jul 9, 2026Updated 3 months ago
- ☆9,503Oct 21, 2026Updated last week
- A Web3 wallet and agent platform for the Unicity network - crypto wallet, DMs, group chat, and marketplace.☆9,628Updated this week
- System prompt builder. Assembles agent identity from workspace config and spark.toml. Part of Unicity AOS.☆8,403Jul 2, 2026Updated 4 months ago
- Astrid is a portable, capability-secure operating system for composable software.☆10,290Updated this week
- Rango Exchange Typescript SDK☆1,657Oct 26, 2026Updated last week