Alternatives and similar repositories for snarkOS:

Users that are interested in snarkOS are comparing it to the libraries listed below

• ProvableHQ / snarkVM
  A Virtual Machine for Zero-Knowledge Executions
  ☆1,089Updated this week
• MystenLabs / sui
  Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the…
  ☆6,428Updated this week
• sei-protocol / sei-chain
  ☆2,747Updated this week
• aptos-labs / aptos-core
  Aptos is a layer 1 blockchain built to support the widespread use of blockchain through better technology and user experience.
  ☆6,201Updated this week
• ProvableHQ / leo
  🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
  ☆4,800Updated last week
• matter-labs / zksync
  zkSync: trustless scaling and privacy engine for Ethereum
  ☆4,906Updated 5 months ago
• ProvableHQ / sdk
  Javascript & Typescript SDK for Zero-Knowledge Application Development
  ☆595Updated this week
• tahowallet / extension
  Taho, the community owned and operated Web3 wallet.
  ☆3,136Updated this week
• ethereum-optimism / optimism
  Optimism is Ethereum, scaled.
  ☆5,873Updated this week
• anoma / namada
  Rust implementation of Namada, a Proof-of-Stake L1 for interchain asset-agnostic privacy
  ☆2,449Updated this week
• zksync / credo
  ☆2,191Updated 5 months ago
• massalabs / massa
  The Decentralized and Scaled Blockchain
  ☆5,572Updated this week
• matter-labs / zksync-era
  zkSync era
  ☆3,138Updated this week
• wormhole-foundation / wormhole
  A reference implementation for the Wormhole blockchain interoperability protocol.
  ☆1,715Updated this week
• evmos / evmos
  Evmos is the canonical EVM chain on Cosmos. Evmos is the flagship implementation of evmOS, a stack to build forward compatible EVMs
  ☆1,679Updated this week
• taikoxyz / taiko-mono
  Taiko Alethia based rollup protocol 🥁 🌸
  ☆4,544Updated this week
• linera-io / linera-protocol
  Main repository for the Linera protocol
  ☆1,465Updated this week
• starkware-libs / cairo
  Cairo is the first Turing-complete language for creating provable programs for general computation.
  ☆1,665Updated this week
• teaxyz / white-paper
  how will the protocol work?
  ☆6,021Updated 6 months ago
• ziesha-network / bazuka
  Rust implementation of Ziesha protocol
  ☆1,064Updated last year
• lens-protocol / core
  The Lens Protocol
  ☆2,776Updated 7 months ago
• dominant-strategies / go-quai
  Official Go Implementation of the Quai Network
  ☆2,392Updated this week
• iron-fish / ironfish
  A novel cryptocurrency focused on privacy and accessibility.
  ☆970Updated this week
• LayerZero-Labs / LayerZero-v1
  An Omnichain Interoperability Protocol
  ☆1,955Updated 7 months ago
• nexus-xyz / nexus-zkvm
  The Nexus zkVM: The zero-knowledge virtual machine
  ☆2,114Updated last week
• kkrt-labs / kakarot
  Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.
  ☆1,001Updated last week
• OffchainLabs / arbitrum-classic
  Powers fast, private, decentralized applications
  ☆1,985Updated last year
• starkscan / starkscan-verifier
  Verify Cairo contracts on Starkscan in 1 minute.
  ☆1,270Updated 7 months ago
• starknet-io / starknet.js
  JavaScript library for StarkNet
  ☆1,229Updated last week
• celestiaorg / celestia-node
  Celestia Data Availability Nodes
  ☆950Updated this week