AleoNet / snarkVM

Related projects ⓘ

Alternatives and complementary repositories for snarkVM

• ProvableHQ / sdk
  A Software Development Kit (SDK) for Zero-Knowledge Transactions
  ☆593Updated this week
• AleoNet / snarkOS
  A Decentralized Operating System for ZK Applications
  ☆4,356Updated this week
• ProvableHQ / welcome
  👋 Welcome to Provable! Zero-Knowledge is Finally Here 🚀
  ☆322Updated last month
• nexus-xyz / nexus-zkvm
  The Nexus zkVM: The zero-knowledge virtual machine
  ☆736Updated last month
• ProvableHQ / workshop
  📜 A Starter Guide to Build ZK Applications 📜
  ☆333Updated 2 months ago
• howardwu / awesome-aleo
  🏎️ A curated list of Aleo & Leo code and resources 🏎️
  ☆359Updated 2 months ago
• availproject / avail
  ☆775Updated this week
• anoma / namada
  Rust implementation of Namada, a Proof-of-Stake L1 for interchain asset-agnostic privacy
  ☆2,395Updated this week
• ProvableHQ / leo
  🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
  ☆4,778Updated this week
• celestiaorg / celestia-node
  Celestia Data Availability Nodes
  ☆926Updated this week
• matter-labs / zksync-era
  zkSync era
  ☆3,098Updated this week
• kkrt-labs / kakarot
  Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.
  ☆990Updated this week
• scroll-tech / scroll
  Scroll's Monorepo
  ☆707Updated this week
• AleoNet / ARCs
  Aleo Request for Comments (ARCs)
  ☆218Updated 2 months ago
• scroll-tech / contribute-to-scroll
  This repository guides developers wanting to contribute to the Scroll ecosystem.
  ☆1,033Updated 7 months ago
• availproject / avail-light
  ☆635Updated this week
• AleoNet / aleo-education
  Aleo Education
  ☆246Updated 4 months ago
• scroll-tech / zkevm-circuits
  ☆924Updated this week
• starkware-libs / cairo
  Cairo is the first Turing-complete language for creating provable programs for general computation.
  ☆1,599Updated this week
• eqlabs / pathfinder
  A Starknet full node written in Rust
  ☆633Updated this week
• FuelLabs / fuelup
  ⛽ The Fuel toolchain installer
  ☆280Updated this week
• keep-starknet-strange / madara
  DEPRECATED in favor of https://github.com/madara-alliance/madara
  ☆532Updated 3 months ago
• sei-protocol / sei-chain
  ☆2,705Updated this week
• anoma / namada-testnets
  Testnet configurations and coordination for the Namada network.
  ☆328Updated 8 months ago
• starknet-edu / starknetbook
  Mastering Starknet. By the Starknet community
  ☆824Updated 4 months ago
• anoma / namada-trusted-setup-claimer
  Sign arbitrary messages with keys obtained from Namada's trusted setup
  ☆320Updated 11 months ago
• starknet-io / starknet-website
  The main repo for starknet.io
  ☆637Updated 3 months ago
• anoma / anoma
  Reference implementation of Anoma
  ☆444Updated this week
• HarukaMa / aleo-explorer
  Open source explorer for the Aleo network
  ☆106Updated this week