Alternatives and similar repositories for pragma-miden

Users that are interested in pragma-miden are comparing it to the libraries listed below

• arcane-finance-defi / miden-bridge-mono
  ☆38Updated last week
• FhenixProtocol / fhenix-contracts
  Solidity Contracts that allow developers to use FHE on Fhenix
  ☆71Updated 9 months ago
• succinctlabs / sp1-project-template
  Template for creating an SP1 project that can generate a proof of any RISC-V program and verify the proof on-chain.
  ☆139Updated 3 months ago
• taikoxyz / raiko
  Multi-proofs for Taiko. SNARKS, STARKS and Trusted Execution Enclave. Our previous ZK-EVM circuits are deprecated.
  ☆148Updated this week
• SoundnessLabs / sp1-sui
  A SP1 Groth16 Proof Verifier for Sui
  ☆73Updated 2 months ago
• ProjectZKM / zkm
  zkMIPS 0.3: an open-source, simple, stable, and universal zero-knowledge virtual machine on MIPS32r2 ISA
  ☆130Updated 6 months ago
• gevulotnetwork / gevulot
  Gevulot is an internet scale compute network for zero-knowledge proof generation and verification.
  ☆159Updated 10 months ago
• EspressoSystems / espresso-network
  ☆164Updated this week
• matter-labs / era-boojum
  Boojum, the scariest SNARK implementation.
  ☆302Updated last year
• vlayer-xyz / vlayer
  ☆174Updated last week
• EspressoSystems / nitro-espresso-integration
  Nitro goes vroom and fixes everything
  ☆29Updated this week
• monad-developers / foundry-monad
  Monad Configured Foundry template
  ☆60Updated last month
• astriaorg / astria
  A monorepo containing all the custom components of the Astria network, a decentralized system that replaces traditional sequencers, offer…
  ☆138Updated this week
• AztecProtocol / aztec-starter
  A simple aztec contract + test to get started.
  ☆99Updated this week
• boray / fuel-nomen
  The Name Service of Fuel Network with a novel and efficient namespace market design
  ☆25Updated last year
• scroll-tech / zk-mooc-halo2
  ☆75Updated 2 years ago
• SeismicSystems / seismic-reth
  Execution client for Seismic
  ☆132Updated this week
• axiom-crypto / axiom-v2-contracts
  Core smart contracts for Axiom V2.
  ☆32Updated last year
• kroma-network / zkevm-circuits
  This is a mirror of zkevm-circuits(https://github.com/scroll-tech/zkevm-circuits).
  ☆21Updated last year
• 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…
  ☆277Updated last week
• lfglabs-dev / app.starknet.id
  Identity Service for Starknet
  ☆60Updated 2 months ago
• chainwayxyz / citrea
  Citrea repository
  ☆269Updated last week
• tess-eract / zksudoku
  ☆27Updated 3 years ago
• FhenixProtocol / fhenix-docs
  ☆30Updated 7 months ago
• availproject / avail-uncharted
  Welcome to Avail Uncharted. The heart of exploration within the Avail ecosystem. Join our Explorations team as we push the horizons of th…
  ☆23Updated 11 months ago
• EspressoSystems / HotShot
  ☆158Updated 8 months ago
• FuelLabs / sway-libs
  Libraries for the Sway Language
  ☆147Updated last month
• AztecProtocol / awesome-aztec
  ☆77Updated last month
• 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
• fluentlabs-xyz / fluent
  General purpose Blended Execution layer
  ☆57Updated last week