Alternatives and similar repositories for nexus-zkvm

Users that are interested in nexus-zkvm are comparing it to the libraries listed below

• evotradedev / evotradewallet
  ☆31Updated last month
• nexus-xyz / nexus-cli
  Command line interface for supplying proofs to the Nexus network.
  ☆727Updated this week
• ProvableHQ / snarkVM
  A zkVM for Decentralized Private Computations (DPC)
  ☆1,115Updated this week
• MystenLabs / walrus-docs
  Original repository holding documentation and examples for the Walrus decentralized storage system.
  ☆634Updated 2 months ago
• succinctlabs / sp1
  SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.
  ☆1,340Updated last week
• ProvableHQ / snarkOS
  A Decentralized Operating System for ZK Applications
  ☆4,443Updated this week
• anoma / namada
  Rust implementation of Namada, a Proof-of-Stake L1 for interchain asset-agnostic privacy
  ☆2,478Updated this week
• GaiaNet-AI / gaianet-node
  Install and run your own AI agent service
  ☆4,952Updated 2 weeks ago
• zksync / credo
  ☆2,185Updated 10 months ago
• risc0 / risc0
  RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
  ☆1,889Updated this week
• Convexity-Research / plaza-contracts
  ☆285Updated 2 weeks ago
• matter-labs / zksync-era
  zkSync era
  ☆3,176Updated this week
• Lagrange-Labs / deep-prove
  Framework to prove inference of ML models blazingly fast
  ☆3,118Updated this week
• starkware-libs / cairo
  Cairo is the first Turing-complete language for creating provable programs for general computation.
  ☆1,755Updated this week
• abhishek23x / Gensyn-x-Earn-By-Abhi
  ☆16Updated last month
• teaxyz / teaBASE
  Developer Cockpit
  ☆949Updated last month
• availproject / avail
  ☆791Updated last week
• taikoxyz / taiko-mono
  Taiko Alethia based rollup protocol 🥁
  ☆4,549Updated this week
• gensyn-ai / rl-swarm
  A fully open source framework for creating RL training swarms over the internet.
  ☆683Updated this week
• Azet17 / Mahiruuu
  ☆23Updated last month
• open-ibc / ibc-app-solidity-template
  Template starter for IBC enabled contracts in Solidity for use with vibc-core-smart-contracts
  ☆358Updated 7 months ago
• MystenLabs / seal
  ☆330Updated this week
• SoundnessLabs / soundness-layer
  Soundness Layer is a decentralized verification layer built on Walrus and Sui.
  ☆170Updated 2 months ago
• chainflag / eth-faucet
  Ether faucet server built with Go and Svelte.
  ☆553Updated 5 months ago
• DaddyDezzy / DaddyDezzy
  tell me dezfulao. how to code_
  ☆11Updated last year
• ProvableHQ / leo
  🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
  ☆4,825Updated this week
• DaddyDezzy / dezfulao
  ☆12Updated 2 years ago
• OwshenNetwork / owshen
  The Deep Sea
  ☆2,033Updated 7 months ago
• WebraLabs / Webra_Language_Patent
  Patent & legal specification for the Webra programming language and WebraVM.
  ☆14Updated last month
• apzadmin / soundnesscodes
  ☆37Updated 2 months ago