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
  ☆43Updated 2 weeks ago
• taikoxyz / raiko
  Multi-proofs for Taiko. SNARKS, STARKS and Trusted Execution Enclave. Our previous ZK-EVM circuits are deprecated.
  ☆152Updated this week
• FhenixProtocol / fhenix-contracts
  Solidity Contracts that allow developers to use FHE on Fhenix
  ☆76Updated 11 months ago
• 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
• EspressoSystems / espresso-network
  ☆167Updated this week
• ProjectZKM / zkm
  zkMIPS 0.3: an open-source, simple, stable, and universal zero-knowledge virtual machine on MIPS32r2 ISA
  ☆133Updated 9 months ago
• gevulotnetwork / gevulot
  Gevulot is an internet scale compute network for zero-knowledge proof generation and verification.
  ☆159Updated last year
• EspressoSystems / nitro-espresso-integration
  Nitro goes vroom and fixes everything
  ☆29Updated this week
• 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
• FuelLabs / sway-libs
  Libraries for the Sway Language
  ☆146Updated last month
• matter-labs / era-boojum
  Boojum, the scariest SNARK implementation.
  ☆302Updated last year
• astriaorg / astria
  A monorepo containing all the custom components of the Astria network, a decentralized system that replaces traditional sequencers, offer…
  ☆138Updated 2 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.
  ☆142Updated 5 months ago
• AztecProtocol / aztec-starter
  A simple aztec contract + test to get started.
  ☆111Updated this week
• FuelLabs / sway-vscode-plugin
  Sway Visual Studio Code plugin
  ☆51Updated last week
• scroll-tech / zk-mooc-halo2
  ☆75Updated 2 years ago
• EspressoSystems / espresso-polygon-zkevm-demo
  ☆69Updated last week
• hyli-org / hyli
  Hyli is a high-performance blockchain with built-in privacy.
  ☆114Updated this week
• 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
• vlayer-xyz / vlayer
  ☆176Updated 3 weeks ago
• tess-eract / zksudoku
  ☆27Updated 3 years 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
  ☆84Updated this week
• fluentlabs-xyz / fluent
  General purpose Blended Execution layer
  ☆56Updated this week
• AztecProtocol / awesome-aztec
  ☆80Updated 3 months ago
• 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…
  ☆278Updated this week
• celestiaorg / community-calls
  Community Call repo, schedule, and notes and videos of discussions
  ☆34Updated 2 years ago
• SeismicSystems / seismic-reth
  Execution client for Seismic
  ☆135Updated last week
• EspressoSystems / HotShot
  ☆160Updated 10 months ago
• zircuit-labs / ceremony
  Zircuit Mainnet Ceremony
  ☆47Updated last year