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 🏎️
  ☆375Updated last week
• ProvableHQ / ARCs
  Aleo Request for Comments (ARCs)
  ☆221Updated last month
• mantlenetworkio / mantle
  Mantle | Mass adoption of decentralized & token-governed technologies. With Mantle Network, Mantle Treasury, and token holder-governed p…
  ☆246Updated 6 months ago
• AleoNet / aleo-education
  Aleo Education
  ☆254Updated 11 months ago
• HarukaMa / aleo-explorer
  Open source explorer for the Aleo network
  ☆125Updated this week
• ProvableHQ / leo-docs-source
  📄 Documentation for Leo 🦁
  ☆327Updated this week
• AleoNet / aleo-setup
  A Setup Ceremony for Universal SNARKs
  ☆82Updated 11 months ago
• ProvableHQ / sdk
  Javascript & Typescript SDK for Zero-Knowledge Application Development
  ☆607Updated last week
• Layr-Labs / eigenlayer-cli
  EigenLayer CLI
  ☆80Updated this week
• hyeongjun-dev / berachain-validator-monitoring
  Full integrated dashboard for Bera blockchain
  ☆23Updated last year
• ProvableHQ / workshop
  📜 A Starter Guide to Build ZK Applications 📜
  ☆337Updated 5 months ago
• Layr-Labs / eigenda-operator-setup
  Quick start setup guide for EigenDA
  ☆82Updated this week
• NethermindEth / eigenlayer
  EigenLayer CLI (https://www.eigenlayer.xyz)
  ☆33Updated last year
• HarukaMa / aleo-pool-server
  ☆79Updated 9 months ago
• atorasi / EigenLayer
  ☆33Updated last year
• trusted-point / Node-manuals
  ☆89Updated last year
• berachain / swe-guidelines
  The Berachain SWE Guidelines
  ☆37Updated last year
• 0glabs / 0g-storage-node
  ☆144Updated last week
• scooprinder / berachain-local
  A complete Berachain development network containerized with Docker.
  ☆22Updated last year
• eqlabs / pathfinder
  A Starknet full node written in Rust
  ☆648Updated this week
• starkware-libs / papyrus
  Papyrus is a StarkNet full node written in Rust.
  ☆322Updated 5 months ago
• Layr-Labs / eigenlayer-contracts
  Contracts of EigenLayer
  ☆684Updated this week
• taikoxyz / raiko
  Multi-proofs for Taiko. SNARKS, STARKS and Trusted Execution Enclave. Our previous ZK-EVM circuits are deprecated.
  ☆142Updated this week
• Manta-Network / Manta
  The main repo for manta blockchain nodes.
  ☆239Updated 3 months ago
• kroma-network / kroma
  A developer-friendly, rollup-based Ethereum Layer 2 solution that offers low fees and EVM equivalence.
  ☆171Updated last month
• autonomys / subspace
  Subspace Protocol reference implementation
  ☆395Updated this week
• starknet-io / starkgate-contracts
  ☆215Updated 3 months ago
• yetanotherco / aligned_layer
  Aligned is a verification layer for zero-knowledge proofs using EigenLayer. Our mission is to accelerate the adoption of zero-knowledge a…
  ☆228Updated this week
• Titannet-dao / titan-node
  A new incentive system that integrates the world's idle resources
  ☆68Updated 2 months ago
• matter-labs / era-boojum
  Boojum, the scariest SNARK implementation.
  ☆301Updated 9 months ago