nexus-xyz / nexus-zkvmLinks
The Nexus zkVM: The zero-knowledge virtual machine
☆2,586Updated 3 weeks ago
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,094Updated 2 weeks ago
- A zkVM for Decentralized Private Computations (DPC)☆1,151Updated this week
- Original repository holding documentation and examples for the Walrus decentralized storage system.☆657Updated 6 months ago
- Rust implementation of Namada, a Proof-of-Stake L1 for interchain asset-agnostic privacy☆2,522Updated 2 weeks ago
- SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.☆1,571Updated last week
- A Decentralized Operating System for ZK Applications☆4,502Updated last week
- A fully open source framework for creating RL training swarms over the internet.☆1,704Updated 3 weeks ago
- Cairo is the first Turing-complete language for creating provable programs for general computation.☆1,867Updated this week
- ☆890Updated 6 months ago
- This repository guides developers wanting to contribute to the Scroll ecosystem.☆1,033Updated last year
- ☆797Updated last week
- 🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications☆4,803Updated this week
- ☆2,184Updated last year
- Template starter for IBC enabled contracts in Solidity for use with vibc-core-smart-contracts☆357Updated last year
- ☆12Updated last year
- Building a Safer Web, Together☆156Updated 4 months ago
- ☆285Updated 8 months ago
- The course you are about to begin is designed to rapidly and thoroughly teach web3 concepts and language to web2 developers. It specifica…☆49Updated last year
- Mango Network is a Layer1 blockchain based on the Dpos consensus mechanism and supported by Move to build a transaction-based omni-chain …☆276Updated 7 months ago
- ☆2,831Updated this week
- Developer Cockpit☆981Updated 7 months ago
- ☆647Updated last week
- Ether faucet server built with Go and Svelte.☆574Updated 2 weeks ago
- ☆78Updated 8 months ago
- ☆490Updated 2 months ago
- Deploy Contract on the latest network [Testnet before Mainnet]☆102Updated last year
- zkVerify is a highly performant, secure, and decentralized Substrate-based blockchain for zero-knowledge (ZK) proof verification, that su…☆480Updated this week
- Run a node on Align Testnet v2☆53Updated last year
- Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.☆1,009Updated last year
- Soundness Layer is a decentralized verification layer built on Walrus and Sui.☆377Updated 3 months ago