nexus-xyz / nexus-zkvmLinks
The Nexus zkVM: The zero-knowledge virtual machine
☆2,495Updated 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 4 months ago
- Command line interface for supplying proofs to the Nexus network.☆897Updated this week
- A zkVM for Decentralized Private Computations (DPC)☆1,128Updated this week
- Original repository holding documentation and examples for the Walrus decentralized storage system.☆642Updated last month
- A fully open source framework for creating RL training swarms over the internet.☆1,271Updated 2 weeks ago
- SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.☆1,440Updated this week
- A Decentralized Operating System for ZK Applications☆4,462Updated this week
- ☆783Updated 3 weeks ago
- Rust implementation of Namada, a Proof-of-Stake L1 for interchain asset-agnostic privacy☆2,498Updated this week
- This repository guides developers wanting to contribute to the Scroll ecosystem.☆1,038Updated last year
- 🔐💰Cryptocurrency wallet for Mavryk blockchain as Web extension for your Browser.☆24Updated 2 weeks ago
- ☆12Updated 6 months ago
- ☆791Updated this week
- Javascript & Typescript SDK for Zero-Knowledge Application Development☆613Updated this week
- zkVerify is a highly performant, secure, and decentralized Substrate-based blockchain for zero-knowledge (ZK) proof verification, that su…☆413Updated this week
- Developer Cockpit☆961Updated last month
- Soundness Layer is a decentralized verification layer built on Walrus and Sui.☆300Updated 2 weeks ago
- Building a Safer Web, Together☆155Updated 4 months ago
- ☆650Updated this week
- Ether faucet server built with Go and Svelte.☆560Updated 7 months ago
- Framework to prove inference of ML models blazingly fast☆3,354Updated last week
- ☆201Updated 4 months ago
- ☆14Updated this week
- Cairo is the first Turing-complete language for creating provable programs for general computation.☆1,783Updated this week
- ☆10Updated 2 years ago
- ☆10Updated 2 years ago
- Template starter for IBC enabled contracts in Solidity for use with vibc-core-smart-contracts☆358Updated 9 months ago
- Scroll's Monorepo☆732Updated this week
- ☆10Updated last year
- A registry for RollApps☆10Updated last year