☆39Sep 2, 2020Updated 5 years ago
Alternatives and similar repositories for circom-dsl
Users that are interested in circom-dsl are comparing it to the libraries listed below
Sorting:
- REST API for snarkjs prover☆19Mar 14, 2023Updated 2 years ago
- A convenient way for developers to compile, cache, and execute circom circuits, as well as to generate proofs.☆33Oct 10, 2022Updated 3 years ago
- Web Assembly low level implementation of pairing friendly curves.☆15Feb 10, 2026Updated 3 weeks ago
- Proof of concept of an Eth2 secret shared validator node☆15Feb 15, 2022Updated 4 years ago
- Arkworks bindings to Circom's R1CS, for Groth16 Proof and Witness generation in Rust.☆279Aug 26, 2025Updated 6 months ago
- ☆16Aug 15, 2024Updated last year
- A gate level simulator and gate level netlist standard specification in Cairo☆17Feb 15, 2022Updated 4 years ago
- Intel assembly finite field library generator☆13Nov 23, 2023Updated 2 years ago
- a sketch of what a zkvm could look like☆26Apr 19, 2021Updated 4 years ago
- Solidity implementation of the baby jubjub curve☆21Apr 30, 2024Updated last year
- powdr application running Ethereum tests via revm☆17Jun 24, 2024Updated last year
- Phase 2 of a multi-party trusted setup ceremony for the Semaphore zk-SNARK circuit☆17Jun 29, 2020Updated 5 years ago
- ☆46Jul 25, 2022Updated 3 years ago
- ☆17Mar 18, 2023Updated 2 years ago
- ☆204Nov 25, 2023Updated 2 years ago
- DEPRECATED☆21Nov 4, 2021Updated 4 years ago
- A standard library wrapper for use in the `arkworks` ecosystem☆42Sep 26, 2025Updated 5 months ago
- The fastest in-browser verification of ECDSA signatures in ZK, using Spartan on the secq256k1 curve☆217Dec 5, 2023Updated 2 years ago
- Ethereum scaling diagram☆38Mar 29, 2021Updated 4 years ago
- Implements hermez network zk-Snarks circuits☆56Jun 29, 2023Updated 2 years ago
- An `arkworks` library for low-degree testing☆23Sep 10, 2024Updated last year
- Rescue and Poseidon hash function implementations☆43Aug 15, 2024Updated last year
- ☆35Mar 11, 2022Updated 3 years ago
- ☆22Sep 1, 2023Updated 2 years ago
- Experimental python optimistic rollup fraud-proof generation☆29Aug 30, 2022Updated 3 years ago
- RSA verification circuit using halo2 library.☆58Apr 26, 2023Updated 2 years ago
- Lido Improvement Proposals 💋☆26Dec 26, 2025Updated 2 months ago
- Verifying a 512-layer CNN w/ Nova☆171May 5, 2023Updated 2 years ago
- zero knowledge proof aggregator for general circuit☆73May 20, 2024Updated last year
- An incremental Merkle tree written in Typescript and circom☆48Nov 8, 2021Updated 4 years ago
- A zkSNARK toolkit to work with circom zkp DSL in plonk proof system.☆159Jan 24, 2023Updated 3 years ago
- [WIP] Rust implementation of the Dark Forest game client☆66Aug 16, 2021Updated 4 years ago
- rollup implementation☆91Mar 15, 2024Updated last year
- Batch verification proposal for the zkSNARK verification with the same(!) circuit☆24Jun 24, 2019Updated 6 years ago
- ☆12Nov 11, 2022Updated 3 years ago
- ☆10Nov 20, 2024Updated last year
- A Python simulator used to model cross shard transaction strategies for Ethereum 2.0☆11May 3, 2024Updated last year
- SmartAuditFlow is an AI-powered framework for automated smart contract security auditing. It combines Large Language Models (LLMs) with d…☆15Dec 19, 2025Updated 2 months ago
- ☆10Oct 2, 2021Updated 4 years ago