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 🏎️
  ☆370Updated last week
• ProvableHQ / ARCs
  Aleo Request for Comments (ARCs)
  ☆222Updated 2 months ago
• AleoNet / aleo-education
  Aleo Education
  ☆254Updated 9 months ago
• ProvableHQ / leo-docs-source
  📄 Documentation for Leo 🦁
  ☆326Updated this week
• mantlenetworkio / mantle
  Mantle | Mass adoption of decentralized & token-governed technologies. With Mantle Network, Mantle Treasury, and token holder-governed p…
  ☆245Updated 4 months ago
• HarukaMa / aleo-explorer
  Open source explorer for the Aleo network
  ☆123Updated this week
• Layr-Labs / eigenlayer-cli
  EigenLayer CLI
  ☆75Updated last week
• ProvableHQ / sdk
  Javascript & Typescript SDK for Zero-Knowledge Application Development
  ☆600Updated this week
• HarukaMa / aleo-pool-server
  ☆78Updated 7 months ago
• NethermindEth / eigenlayer
  EigenLayer CLI (https://www.eigenlayer.xyz)
  ☆33Updated last year
• Layr-Labs / eigenda-operator-setup
  Quick start setup guide for EigenDA
  ☆82Updated 2 weeks ago
• atorasi / EigenLayer
  ☆34Updated last year
• ProvableHQ / workshop
  📜 A Starter Guide to Build ZK Applications 📜
  ☆336Updated 3 months ago
• berachain / swe-guidelines
  The Berachain SWE Guidelines
  ☆37Updated 9 months ago
• AleoNet / aleo-setup
  A Setup Ceremony for Universal SNARKs
  ☆83Updated 9 months ago
• scooprinder / berachain-local
  A complete Berachain development network containerized with Docker.
  ☆22Updated last year
• sm1ck / layerzero-aptos
  Автоматическая отправка ETH в Aptos
  ☆118Updated last year
• 0glabs / 0g-storage-node
  ☆130Updated this week
• taikoxyz / raiko
  Multi-proofs for Taiko. SNARKS, STARKS and Trusted Execution Enclave. Our previous ZK-EVM circuits are deprecated.
  ☆134Updated this week
• cppmyk / layerzero-bridger
  Software to automate the random use of LayerZero bridges by multiple accounts simultaneously
  ☆275Updated last year
• zaivanza / layerzero_tx_checker
  ☆211Updated last year
• 6block / zkwork_aleo_worker
  ☆49Updated 7 months ago
• LayerZero-Labs / LayerZero-v2
  ☆626Updated 3 weeks ago
• eqlabs / pathfinder
  A Starknet full node written in Rust
  ☆644Updated this week
• trusted-point / Node-manuals
  ☆89Updated 11 months ago
• dojonode / taiko-node-dashboard-docker
  The Taiko node dashboard is aimed to provide quick and digestible insights into your Taiko node.
  ☆71Updated 11 months ago
• matter-labs / l2-intro-pre-ethdenver
  Introduction to layer two and zkSync
  ☆352Updated last year
• Layr-Labs / eigenlayer-contracts
  Contracts of EigenLayer
  ☆671Updated this week
• autonomys / subspace
  Subspace Protocol reference implementation
  ☆393Updated this week
• taikoxyz / zkevm-circuits
  DEPRECATED in favor of https://github.com/taikoxyz/raiko! Taiko's fork of the PSE's ZK-EVM
  ☆159Updated 11 months ago