Alternatives and similar repositories for aleo-setup

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

• ProvableHQ / leo-docs-source
  📄 Documentation for Leo 🦁
  ☆332Updated this week
• taikoxyz / raiko
  Multi-proofs for Taiko. SNARKS, STARKS and Trusted Execution Enclave. Our previous ZK-EVM circuits are deprecated.
  ☆150Updated this week
• 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
• EspressoSystems / espresso-polygon-zkevm-demo
  ☆65Updated last week
• polymerdao / plonky2-circom
  ☆160Updated 9 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
  ☆131Updated 7 months ago
• Manta-Network / manta-signer
  Manta Client to turbo-charge ZKP Generation
  ☆91Updated 2 years ago
• ProvableHQ / workshop
  📜 A Starter Guide to Build ZK Applications 📜
  ☆339Updated 11 months ago
• matter-labs / era-boojum
  Boojum, the scariest SNARK implementation.
  ☆302Updated last year
• EspressoSystems / espresso-network
  ☆166Updated this week
• availproject / data-availability
  ☆94Updated last year
• EspressoSystems / nitro-espresso-integration
  Nitro goes vroom and fixes everything
  ☆29Updated this week
• namada-net / namada-interface
  ☆105Updated this week
• Manta-Network / manta-rs
  Rust Crates for the Manta Network Ecosystem
  ☆79Updated 2 years ago
• availproject / avail-core
  ☆103Updated this week
• ProvableHQ / python-sdk
  ☆45Updated 3 months ago
• polymerdao / plonky2-solidity-verifier
  ☆80Updated 9 months ago
• astriaorg / astria
  A monorepo containing all the custom components of the Astria network, a decentralized system that replaces traditional sequencers, offer…
  ☆139Updated last week
• Sin7Y / olavm
  A STARK-based ZKVM which aims to Programmable Scalability, Programmable Privacy
  ☆163Updated 9 months ago
• howardwu / awesome-aleo
  🏎️ A curated list of Aleo & Leo code and resources 🏎️
  ☆387Updated 2 months ago
• gevulotnetwork / gevulot
  Gevulot is an internet scale compute network for zero-knowledge proof generation and verification.
  ☆159Updated 11 months ago
• FhenixProtocol / fhenix-contracts
  Solidity Contracts that allow developers to use FHE on Fhenix
  ☆73Updated 10 months ago
• karnotxyz / karnot-cli
  ☆50Updated last year
• celestiaorg / community-calls
  Community Call repo, schedule, and notes and videos of discussions
  ☆35Updated 2 years ago
• Consensys / linea-besu
  Linea implementation based on Besu
  ☆72Updated 3 weeks ago
• fluentlabs-xyz / fluentbase
  A framework to build smart contracts on the Fluent L2 as well as blockchains and verifiable compute environments that compile to rWasm
  ☆85Updated this week
• sei-protocol / sei-cosmwasm
  Sei utilities for usage in cosmwasm smart contracts
  ☆57Updated last year
• scroll-tech / zk-mooc-halo2
  ☆75Updated 2 years ago
• tess-eract / zksudoku
  ☆27Updated 3 years ago