Alternatives and similar repositories for aleo-prover

Users that are interested in aleo-prover are comparing it to the libraries listed below

• howardwu / awesome-aleo
  🏎️ A curated list of Aleo & Leo code and resources 🏎️
  ☆387Updated 2 months ago
• mantlenetworkio / mantle
  Mantle | Mass adoption of decentralized & token-governed technologies. With Mantle Network, Mantle Treasury, and token holder-governed p…
  ☆249Updated 11 months ago
• ProvableHQ / ARCs
  Aleo Request for Comments (ARCs)
  ☆223Updated last month
• AleoNet / aleo-education
  Aleo Education
  ☆255Updated last year
• Layr-Labs / eigenlayer-cli
  EigenLayer CLI
  ☆83Updated 2 weeks ago
• NethermindEth / eigenlayer
  EigenLayer CLI (https://www.eigenlayer.xyz)
  ☆32Updated last year
• Layr-Labs / eigenda-operator-setup
  Quick start setup guide for EigenDA
  ☆81Updated 2 weeks ago
• ProvableHQ / leo-docs-source
  📄 Documentation for Leo 🦁
  ☆332Updated this week
• hyeongjun-dev / berachain-validator-monitoring
  Full integrated dashboard for Bera blockchain
  ☆23Updated last year
• berachain / swe-guidelines
  The Berachain SWE Guidelines
  ☆37Updated last year
• ProvableHQ / workshop
  📜 A Starter Guide to Build ZK Applications 📜
  ☆340Updated 10 months ago
• HarukaMa / aleo-explorer
  Open source explorer for the Aleo network
  ☆128Updated last week
• ProvableHQ / sdk
  Javascript & Typescript SDK for Zero-Knowledge Application Development
  ☆616Updated this week
• atorasi / EigenLayer
  ☆32Updated 2 years ago
• scooprinder / berachain-local
  A complete Berachain development network containerized with Docker.
  ☆23Updated last year
• AleoNet / aleo-setup
  A Setup Ceremony for Universal SNARKs
  ☆81Updated last year
• matter-labs / era-sync_vm
  Circuit Implementation of zkVM for zkSync Era
  ☆279Updated last year
• taikoxyz / taiko-geth
  An L2 execution engine implementation for the Taiko protocol. 🚚
  ☆217Updated last week
• kroma-network / kroma
  A developer-friendly, rollup-based Ethereum Layer 2 solution that offers low fees and EVM equivalence.
  ☆173Updated 7 months ago
• ionet-official / io_launch_binaries
  ☆74Updated 4 months ago
• Layr-Labs / eigenlayer-contracts
  Contracts of EigenLayer
  ☆699Updated last week
• taikoxyz / zkevm-circuits
  DEPRECATED in favor of https://github.com/taikoxyz/raiko! Taiko's fork of the PSE's ZK-EVM
  ☆158Updated last year
• matter-labs / l2-intro-pre-ethdenver
  Introduction to layer two and zkSync
  ☆355Updated last year
• scroll-tech / scroll
  Scroll's Monorepo
  ☆736Updated this week
• 0gfoundation / 0g-storage-node
  ☆178Updated 2 weeks ago
• Eclipse-Laboratories-Inc / eclipse-wallet
  ☆102Updated last year
• trusted-point / Node-manuals
  ☆90Updated last year
• hyperlane-xyz / hyperlane-monorepo
  The home for Hyperlane core contracts, sdk packages, and other infrastructure
  ☆34Updated last week
• eqlabs / pathfinder
  A Starknet full node written in Rust
  ☆657Updated this week
• LayerZero-Labs / LayerZero-v2
  ☆717Updated this week