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
  ☆37Updated last week
• taikoxyz / raiko
  Multi-proofs for Taiko. SNARKS, STARKS and Trusted Execution Enclave. Our previous ZK-EVM circuits are deprecated.
  ☆148Updated this week
• FhenixProtocol / fhenix-contracts
  Solidity Contracts that allow developers to use FHE on Fhenix
  ☆71Updated 8 months ago
• ProjectZKM / zkm
  zkMIPS 0.3: an open-source, simple, stable, and universal zero-knowledge virtual machine on MIPS32r2 ISA
  ☆128Updated 5 months ago
• EspressoSystems / espresso-network
  ☆157Updated this week
• scroll-tech / zk-mooc-halo2
  ☆75Updated 2 years 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 9 months ago
• SeismicSystems / seismic-reth
  Seismic is the encrypted blockchain
  ☆121Updated this week
• EspressoSystems / espresso-polygon-zkevm-demo
  ☆64Updated this week
• gevulotnetwork / gevulot
  Gevulot is an internet scale compute network for zero-knowledge proof generation and verification.
  ☆159Updated 9 months ago
• EspressoSystems / nitro-espresso-integration
  Nitro goes vroom and fixes everything
  ☆28Updated this week
• SoundnessLabs / sp1-sui
  A SP1 Groth16 Proof Verifier for Sui
  ☆62Updated last month
• tess-eract / zksudoku
  ☆27Updated 2 years ago
• astriaorg / astria
  A monorepo containing all the custom components of the Astria network, a decentralized system that replaces traditional sequencers, offer…
  ☆132Updated this week
• FhenixProtocol / fhenix-docs
  ☆30Updated 6 months ago
• FuelLabs / fuel-indexer
  *Archived* 🗃 The Fuel indexer is a standalone service that can be used to index various components of the Fuel blockchain.
  ☆142Updated 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…
  ☆274Updated last week
• boray / fuel-nomen
  The Name Service of Fuel Network with a novel and efficient namespace market design
  ☆25Updated last year
• AztecProtocol / aztec-starter
  A simple aztec contract + test to get started.
  ☆87Updated this week
• kroma-network / zkevm-circuits
  This is a mirror of zkevm-circuits(https://github.com/scroll-tech/zkevm-circuits).
  ☆20Updated last year
• 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.
  ☆137Updated 2 months ago
• matter-labs / era-boojum
  Boojum, the scariest SNARK implementation.
  ☆302Updated last year
• 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 last week
• polymerdao / plonky2-solidity-verifier
  ☆79Updated 7 months ago
• fluentlabs-xyz / fluent
  General purpose Blended Execution layer
  ☆56Updated this week
• monad-developers / foundry-monad
  Monad Configured Foundry template
  ☆56Updated 5 months ago
• megaeth-labs / evmone-compiler
  EVM ahead-of-time compiler based on the fast evmone interpreter
  ☆120Updated 7 months ago
• polymerdao / plonky2-circom
  ☆158Updated 7 months ago
• scroll-tech / zktrie
  Binary storage trie
  ☆76Updated 9 months ago
• prax-wallet / registry
  ☆16Updated 4 months ago