nexus-xyz / nexus-zkvmLinks
The Nexus zkVM: The zero-knowledge virtual machine
☆2,469Updated 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:
- ☆31Updated 3 months ago
- Command line interface for supplying proofs to the Nexus network.☆853Updated this week
- Original repository holding documentation and examples for the Walrus decentralized storage system.☆637Updated this week
- A fully open source framework for creating RL training swarms over the internet.☆1,101Updated this week
- A zkVM for Decentralized Private Computations (DPC)☆1,124Updated this week
- ☆600Updated last week
- SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.☆1,394Updated this week
- ☆2,186Updated 11 months ago
- Developer Cockpit☆951Updated 3 weeks ago
- ☆343Updated this week
- A Decentralized Operating System for ZK Applications☆4,454Updated this week
- Rust implementation of Namada, a Proof-of-Stake L1 for interchain asset-agnostic privacy☆2,496Updated this week
- ☆152Updated 5 months ago
- This repository guides developers wanting to contribute to the Scroll ecosystem.☆1,038Updated last year
- ☆792Updated this week
- ☆286Updated last month
- Mango Network is a Layer1 blockchain based on the Dpos consensus mechanism and supported by Move to build a transaction-based omni-chain …☆277Updated 3 weeks ago
- 🔐💰Cryptocurrency wallet for Mavryk blockchain as Web extension for your Browser.☆24Updated last week
- Building a Safer Web, Together☆152Updated 3 months ago
- Template starter for IBC enabled contracts in Solidity for use with vibc-core-smart-contracts☆358Updated 8 months ago
- ☆2,796Updated this week
- Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the…☆7,167Updated this week
- zkSync era☆3,178Updated this week
- 🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications☆4,831Updated this week
- Taiko Alethia based rollup protocol 🥁☆4,561Updated this week
- zkVerify is a highly performant, secure, and decentralized Substrate-based blockchain for zero-knowledge (ZK) proof verification, that su…☆408Updated this week
- Soundness Layer is a decentralized verification layer built on Walrus and Sui.☆173Updated 3 months ago
- Cairo is the first Turing-complete language for creating provable programs for general computation.☆1,769Updated this week
- ☆199Updated 3 months ago
- ☆172Updated 8 months ago