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
  ☆42Updated 3 weeks ago
• taikoxyz / raiko
  Multi-proofs for Taiko. SNARKS, STARKS and Trusted Execution Enclave. Our previous ZK-EVM circuits are deprecated.
  ☆152Updated this week
• SoundnessLabs / sp1-sui
  A SP1 Groth16 Proof Verifier for Sui
  ☆75Updated 4 months ago
• boray / fuel-nomen
  The Name Service of Fuel Network with a novel and efficient namespace market design
  ☆25Updated last year
• FhenixProtocol / fhenix-contracts
  Solidity Contracts that allow developers to use FHE on Fhenix
  ☆75Updated 11 months ago
• ProjectZKM / zkm
  zkMIPS 0.3: an open-source, simple, stable, and universal zero-knowledge virtual machine on MIPS32r2 ISA
  ☆133Updated 8 months ago
• tess-eract / zksudoku
  ☆27Updated 3 years ago
• SeismicSystems / seismic-reth
  Execution client for Seismic
  ☆134Updated last week
• vlayer-xyz / vlayer
  ☆174Updated last week
• EspressoSystems / nitro-espresso-integration
  Nitro goes vroom and fixes everything
  ☆29Updated this week
• 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.
  ☆140Updated 5 months ago
• matter-labs / era-boojum
  Boojum, the scariest SNARK implementation.
  ☆302Updated last year
• scroll-tech / zk-mooc-halo2
  ☆75Updated 2 years ago
• chainwayxyz / citrea
  Citrea repository
  ☆274Updated last week
• AztecProtocol / aztec-starter
  A simple aztec contract + test to get started.
  ☆111Updated this week
• EspressoSystems / espresso-network
  ☆167Updated this week
• astriaorg / astria
  A monorepo containing all the custom components of the Astria network, a decentralized system that replaces traditional sequencers, offer…
  ☆138Updated last month
• 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 last year
• EspressoSystems / espresso-polygon-zkevm-demo
  ☆67Updated last week
• FuelLabs / sway-libs
  Libraries for the Sway Language
  ☆147Updated last month
• monad-developers / foundry-monad
  Monad Configured Foundry template
  ☆62Updated 3 weeks ago
• prax-wallet / registry
  ☆16Updated 7 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
• gevulotnetwork / gevulot
  Gevulot is an internet scale compute network for zero-knowledge proof generation and verification.
  ☆159Updated last year
• FhenixProtocol / fhenix-docs
  ☆30Updated 9 months ago
• AztecProtocol / awesome-aztec
  ☆80Updated 2 months 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
• 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
  ☆61Updated last month
• FuelLabs / awesome-fuel
  A maintained and comprehensive list of awesome Fuel resources!
  ☆238Updated 2 years ago