Alternatives and similar repositories for aleo-prover

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

• mantlenetworkio / mantle
  Mantle | Mass adoption of decentralized & token-governed technologies. With Mantle Network, Mantle Treasury, and token holder-governed p…
  ☆247Updated 8 months ago
• howardwu / awesome-aleo
  🏎️ A curated list of Aleo & Leo code and resources 🏎️
  ☆381Updated 2 months ago
• ProvableHQ / ARCs
  Aleo Request for Comments (ARCs)
  ☆223Updated last month
• AleoNet / aleo-education
  Aleo Education
  ☆254Updated last year
• Layr-Labs / eigenlayer-cli
  EigenLayer CLI
  ☆80Updated this week
• NethermindEth / eigenlayer
  EigenLayer CLI (https://www.eigenlayer.xyz)
  ☆32Updated last year
• Layr-Labs / eigenda-operator-setup
  Quick start setup guide for EigenDA
  ☆80Updated last 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 / sdk
  Javascript & Typescript SDK for Zero-Knowledge Application Development
  ☆612Updated this week
• atorasi / EigenLayer
  ☆32Updated last year
• ProvableHQ / workshop
  📜 A Starter Guide to Build ZK Applications 📜
  ☆337Updated 7 months ago
• HarukaMa / aleo-explorer
  Open source explorer for the Aleo network
  ☆125Updated last week
• scroll-tech / scroll
  Scroll's Monorepo
  ☆734Updated this week
• ProvableHQ / leo-docs-source
  📄 Documentation for Leo 🦁
  ☆328Updated last week
• ionet-official / io_launch_binaries
  ☆74Updated last month
• matter-labs / era-sync_vm
  Circuit Implementation of zkVM for zkSync Era
  ☆277Updated last year
• kroma-network / kroma
  A developer-friendly, rollup-based Ethereum Layer 2 solution that offers low fees and EVM equivalence.
  ☆171Updated 3 months ago
• matter-labs / l2-intro-pre-ethdenver
  Introduction to layer two and zkSync
  ☆353Updated last year
• Layr-Labs / eigenlayer-contracts
  Contracts of EigenLayer
  ☆693Updated this week
• taikoxyz / zkevm-circuits
  DEPRECATED in favor of https://github.com/taikoxyz/raiko! Taiko's fork of the PSE's ZK-EVM
  ☆157Updated last year
• scooprinder / berachain-local
  A complete Berachain development network containerized with Docker.
  ☆22Updated last year
• taikoxyz / taiko-geth
  An L2 execution engine implementation for the Taiko protocol. 🚚
  ☆216Updated 2 weeks ago
• zksync-sdk / zksync2-python
  zksync2 is a web3.py library adapted to work with the ZKsync Era.
  ☆320Updated 8 months ago
• zeta-chain / node
  ZetaChain’s blockchain node and an observer validator client
  ☆187Updated this week
• matter-labs / era-contracts
  Smart Contract Submodule For zkSync Era
  ☆515Updated this week
• 0glabs / 0g-storage-node
  ☆152Updated 3 weeks ago
• eqlabs / pathfinder
  A Starknet full node written in Rust
  ☆651Updated this week
• Orbiter-Finance / OrbiterFE-V2
  ☆245Updated 8 months ago
• cppmyk / layerzero-bridger
  Software to automate the random use of LayerZero bridges by multiple accounts simultaneously
  ☆279Updated last year