Alternatives and similar repositories for aleo-setup

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

• taikoxyz / raiko
  Multi-proofs for Taiko. SNARKS, STARKS and Trusted Execution Enclave. Our previous ZK-EVM circuits are deprecated.
  ☆145Updated this week
• ProvableHQ / leo-docs-source
  📄 Documentation for Leo 🦁
  ☆328Updated last week
• polymerdao / plonky2-circom
  ☆157Updated 5 months ago
• ProvableHQ / aleo-rust
  ☆34Updated last year
• ProjectZKM / zkm
  zkMIPS 0.3: an open-source, simple, stable, and universal zero-knowledge virtual machine on MIPS32r2 ISA
  ☆128Updated 3 months ago
• namada-net / namada-trusted-setup
  Namada Trusted Setup Ceremony for the Multi-Asset Shielded Pool (MASP) enabling asset-agnostic private transfers
  ☆117Updated 2 years ago
• Manta-Network / manta-signer
  Manta Client to turbo-charge ZKP Generation
  ☆94Updated 2 years ago
• ProvableHQ / workshop
  📜 A Starter Guide to Build ZK Applications 📜
  ☆338Updated 7 months ago
• ProvableHQ / python-sdk
  ☆45Updated this week
• matter-labs / era-boojum
  Boojum, the scariest SNARK implementation.
  ☆302Updated 11 months ago
• availproject / avail-core
  ☆105Updated this week
• Consensys / linea-besu
  Linea implementation based on Besu
  ☆71Updated 4 months ago
• movementlabsxyz / M1
  An L1 for Move VM built on Avalanche.
  ☆75Updated last year
• EspressoSystems / espresso-network
  ☆142Updated this week
• namada-net / namada-interface
  ☆101Updated this week
• FhenixProtocol / fhenix-contracts
  Solidity Contracts that allow developers to use FHE on Fhenix
  ☆69Updated 6 months ago
• 0glabs / 0g-storage-node
  ☆152Updated 3 weeks ago
• Consensys / linea-tracer
  Component in Linea's stack which constructs execution traces, large matrices assembled from data extracted from the execution of an EVM c…
  ☆51Updated this week
• dymensionxyz / dymint
  Sequencing Engine for Dymension RollApps
  ☆102Updated last month
• 0xPolygon / cdk-data-availability
  ☆96Updated 2 weeks ago
• gevulotnetwork / gevulot
  Gevulot is an internet scale compute network for zero-knowledge proof generation and verification.
  ☆159Updated 7 months ago
• EspressoSystems / nitro-espresso-integration
  Nitro goes vroom and fixes everything
  ☆24Updated this week
• HarukaMa / aleo-explorer
  Open source explorer for the Aleo network
  ☆125Updated 2 weeks ago
• karnotxyz / karnot-cli
  ☆50Updated 11 months ago
• Manta-Network / manta-rs
  Rust Crates for the Manta Network Ecosystem
  ☆81Updated last year
• availproject / data-availability
  ☆95Updated 8 months ago
• kroma-network / zkevm-circuits
  This is a mirror of zkevm-circuits(https://github.com/scroll-tech/zkevm-circuits).
  ☆20Updated last year
• availproject / op-evm
  ☆73Updated last year
• polymerdao / plonky2-solidity-verifier
  ☆78Updated 5 months ago
• FuelLabs / bridge-message-predicates
  Predicate for relaying messages from Ethereum to a Fuel contract
  ☆45Updated 2 years ago