Alternatives and similar repositories for circom-dsl

Users that are interested in circom-dsl are comparing it to the libraries listed below

• iden3 / prover-server

  View on GitHub
  REST API for snarkjs prover
  ☆19Mar 14, 2023Updated 2 years ago
• weijiekoh / circom-helper

  View on GitHub
  A convenient way for developers to compile, cache, and execute circom circuits, as well as to generate proofs.
  ☆33Oct 10, 2022Updated 3 years ago
• dankrad / python-ssv

  View on GitHub
  Proof of concept of an Eth2 secret shared validator node
  ☆15Feb 15, 2022Updated 4 years ago
• iden3 / wasmcurves

  View on GitHub
  Web Assembly low level implementation of pairing friendly curves.
  ☆15Updated this week
• arkworks-rs / circom-compat

  View on GitHub
  Arkworks bindings to Circom's R1CS, for Groth16 Proof and Witness generation in Rust.
  ☆277Aug 26, 2025Updated 5 months ago
• devtooligan / huff-spearbit-demo

  View on GitHub
  ☆16Aug 15, 2024Updated last year
• guiltygyoza / christopher

  View on GitHub
  A gate level simulator and gate level netlist standard specification in Cairo
  ☆17Feb 15, 2022Updated 4 years ago
• iden3 / ffiasm-old

  View on GitHub
  Intel assembly finite field library generator
  ☆13Nov 23, 2023Updated 2 years ago
• barryWhiteHat / zkvm

  View on GitHub
  a sketch of what a zkvm could look like
  ☆26Apr 19, 2021Updated 4 years ago
• powdr-labs / powdr-revme

  View on GitHub
  powdr application running Ethereum tests via revm
  ☆17Jun 24, 2024Updated last year
• yondonfu / sol-baby-jubjub

  View on GitHub
  Solidity implementation of the baby jubjub curve
  ☆21Apr 30, 2024Updated last year
• privacy-ethereum / semaphore-phase2-setup

  View on GitHub
  Phase 2 of a multi-party trusted setup ceremony for the Semaphore zk-SNARK circuit
  ☆17Jun 29, 2020Updated 5 years ago
• factorgroup / nightmarket

  View on GitHub
  ☆46Jul 25, 2022Updated 3 years ago
• Janmajayamall / ObliviousMessageRetrieval-Old

  View on GitHub
  ☆17Mar 18, 2023Updated 2 years ago
• yi-sun / circom-pairing

  View on GitHub
  ☆204Nov 25, 2023Updated 2 years ago
• ethereum / rayonism

  View on GitHub
  DEPRECATED
  ☆21Nov 4, 2021Updated 4 years ago
• arkworks-rs / std

  View on GitHub
  A standard library wrapper for use in the `arkworks` ecosystem
  ☆42Sep 26, 2025Updated 4 months ago
• personaelabs / spartan-ecdsa

  View on GitHub
  The fastest in-browser verification of ECDSA signatures in ZK, using Spartan on the secq256k1 curve
  ☆218Dec 5, 2023Updated 2 years ago
• protolambda / ethereum-scaling-diagram

  View on GitHub
  Ethereum scaling diagram
  ☆38Mar 29, 2021Updated 4 years ago
• hermeznetwork / circuits

  View on GitHub
  Implements hermez network zk-Snarks circuits
  ☆56Jun 29, 2023Updated 2 years ago
• arkworks-rs / ldt

  View on GitHub
  An `arkworks` library for low-degree testing
  ☆23Sep 10, 2024Updated last year
• matter-labs / rescue-poseidon

  View on GitHub
  Rescue and Poseidon hash function implementations
  ☆43Aug 15, 2024Updated last year
• nulven / zk-message-board

  View on GitHub
  ☆35Mar 11, 2022Updated 3 years ago
• evmcheb / univ2-wasm

  View on GitHub
  ☆22Sep 1, 2023Updated 2 years ago
• protolambda / macula

  View on GitHub
  Experimental python optimistic rollup fraud-proof generation
  ☆29Aug 30, 2022Updated 3 years ago
• SoraSuegami / halo2-rsa

  View on GitHub
  RSA verification circuit using halo2 library.
  ☆58Apr 26, 2023Updated 2 years ago
• lidofinance / lido-improvement-proposals

  View on GitHub
  Lido Improvement Proposals 💋
  ☆26Dec 26, 2025Updated last month
• lyronctk / zator

  View on GitHub
  Verifying a 512-layer CNN w/ Nova
  ☆171May 5, 2023Updated 2 years ago
• jeong0982 / gkr

  View on GitHub
  zero knowledge proof aggregator for general circuit
  ☆73May 20, 2024Updated last year
• fluidex / plonkit

  View on GitHub
  A zkSNARK toolkit to work with circom zkp DSL in plonk proof system.
  ☆159Jan 24, 2023Updated 3 years ago
• privacy-ethereum / incrementalquintree

  View on GitHub
  An incremental Merkle tree written in Typescript and circom
  ☆48Nov 8, 2021Updated 4 years ago
• gakonst / dark-forest

  View on GitHub
  [WIP] Rust implementation of the Dark Forest game client
  ☆66Aug 16, 2021Updated 4 years ago
• iden3 / rollup

  View on GitHub
  rollup implementation
  ☆90Mar 15, 2024Updated last year
• matter-labs-archive / Groth16BatchVerifier

  View on GitHub
  Batch verification proposal for the zkSNARK verification with the same(!) circuit
  ☆24Jun 24, 2019Updated 6 years ago
• fxfactorial / eth-peers-tui

  View on GitHub
  ☆10Oct 2, 2021Updated 4 years ago
• arkworks-rs / bcs

  View on GitHub
  ☆11Nov 11, 2022Updated 3 years ago
• summa-dev / summa-solvency

  View on GitHub
  Monorepo for Summa Proof of Solvency Protocol
  ☆99Aug 26, 2024Updated last year
• txrx-research / vorpal

  View on GitHub
  A Python simulator used to model cross shard transaction strategies for Ethereum 2.0
  ☆11May 3, 2024Updated last year
• ZK-Hack / puzzle-zeitgeist

  View on GitHub
  ☆10Nov 20, 2024Updated last year