nexus-xyz / nexus-zkvmLinks
The Nexus zkVM: The zero-knowledge virtual machine
☆2,558Updated last week
Alternatives and similar repositories for nexus-zkvm
Users that are interested in nexus-zkvm are comparing it to the libraries listed below
Sorting:
- Command line interface for supplying proofs to the Nexus network.☆1,079Updated 2 weeks ago
- Original repository holding documentation and examples for the Walrus decentralized storage system.☆649Updated 4 months ago
- ☆849Updated 3 months ago
- A fully open source framework for creating RL training swarms over the internet.☆1,595Updated 3 weeks ago
- Rust implementation of Namada, a Proof-of-Stake L1 for interchain asset-agnostic privacy☆2,511Updated last week
- SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.☆1,509Updated last week
- A zkVM for Decentralized Private Computations (DPC)☆1,142Updated last week
- This repository guides developers wanting to contribute to the Scroll ecosystem.☆1,036Updated last year
- ☆2,182Updated last year
- A Decentralized Operating System for ZK Applications☆4,476Updated this week
- Soundness Layer is a decentralized verification layer built on Walrus and Sui.☆374Updated last week
- ☆795Updated this week
- Taiko Alethia based rollup protocol 🥁☆4,582Updated last week
- ☆380Updated this week
- ☆648Updated this week
- 🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications☆4,795Updated this week
- Official Go Implementation of the Quai Network☆2,401Updated this week
- Developer Cockpit☆975Updated 4 months ago
- ☆286Updated 5 months ago
- ☆113Updated 4 months ago
- Ether faucet server built with Go and Svelte.☆569Updated 10 months ago
- ☆22Updated 4 months ago
- Building a Safer Web, Together☆156Updated 2 months ago
- A powerful TypeScript SDK for building AI agents on the MonAI network☆22Updated 6 months ago
- Template starter for IBC enabled contracts in Solidity for use with vibc-core-smart-contracts☆357Updated last year
- ☆23Updated 6 months ago
- ☆2,815Updated this week
- Mango Network is a Layer1 blockchain based on the Dpos consensus mechanism and supported by Move to build a transaction-based omni-chain …☆276Updated 4 months ago
- Example token contracts for OP_NET☆191Updated this week
- Official Miner for SixGPT☆611Updated 10 months ago