Dark Forest zkSNARK circuits
☆122Nov 2, 2023Updated 2 years ago
Alternatives and similar repositories for circuits
Users that are interested in circuits are comparing it to the libraries listed below
Sorting:
- Big integer arithmetic and secp256k1 ECC operations in circom☆338Nov 3, 2023Updated 2 years ago
- An online playground for zero knowledge circuits☆153Jun 9, 2025Updated 8 months ago
- Generate an optimized Groth16 SNARK verification smart contract for use on EVM-based blockchains.☆127Sep 4, 2022Updated 3 years ago
- ☆204Nov 25, 2023Updated 2 years ago
- basic circom project using hardhat-circom (upgrade to circom2 is WIP)☆133Jun 16, 2023Updated 2 years ago
- Governor of Athens: A protocol to enable private governance on existing governor bravo contracts by leveraging Aztec's Defi Batching☆86Oct 13, 2022Updated 3 years ago
- ☆46Jul 25, 2022Updated 3 years ago
- Smart Contracts for July 2022 Demo☆49Aug 2, 2022Updated 3 years ago
- Gas golfing the most gas efficient way to check if two integers have the same sign in Solidity☆46Jul 17, 2022Updated 3 years ago
- Variable Rate Gradual Dutch Auctions with Martingale Price Correction.☆37Sep 9, 2022Updated 3 years ago
- Library of basic circuits for circom☆727Feb 12, 2026Updated 2 weeks ago
- turn-based zk strategy game☆20Dec 9, 2020Updated 5 years ago
- Dark Forest client☆183Feb 20, 2023Updated 3 years ago
- ☆28Dec 8, 2021Updated 4 years ago
- GOO(Gradual Ownership Optimization) issuance implementation using Huff☆34Oct 1, 2022Updated 3 years ago
- Hardhat plugin to integrate Circom and SnarkJS into your build process.☆119Oct 6, 2023Updated 2 years ago
- rough draft of cloneable univ3 swap receiver for openeing, closing, and editing single pair leveraged positions for multiple fuse pools☆27Apr 25, 2022Updated 3 years ago
- A web tool that helps you compare and visualize the performance of cryptographic operations☆93Jan 27, 2026Updated last month
- Arkworks bindings to Circom's R1CS, for Groth16 Proof and Witness generation in Rust.☆278Aug 26, 2025Updated 6 months ago
- Dark Forest contracts☆320Jul 3, 2023Updated 2 years ago
- My notes and code from the Paradigm CTF☆42Aug 22, 2022Updated 3 years ago
- Experimental implementation of the SuperNova protocol. https://eprint.iacr.org/2022/1758☆122Feb 25, 2023Updated 3 years ago
- Middleware to compile Circom circuits to Nova prover☆244Mar 1, 2024Updated 2 years ago
- ☆17Jul 11, 2025Updated 7 months ago
- My playgrounderino for starkneterino☆13Nov 24, 2021Updated 4 years ago
- Lowering client-side proving cost for private ZK signatures in circom☆112Mar 18, 2023Updated 2 years ago
- An onchain game which explores different ZK game mechanics and information asymmetry☆96Oct 10, 2023Updated 2 years ago
- A template for noir.☆143Nov 24, 2023Updated 2 years ago
- Translate circomlib into gnark☆20Sep 16, 2025Updated 5 months ago
- ☆15May 6, 2022Updated 3 years ago
- A simplified general-purpose queueing system for Rust apps.☆15May 12, 2024Updated last year
- A set of tools for use with the huff language.☆21Jun 24, 2022Updated 3 years ago
- Circuit components definition library for zkLLVM circuit compiler☆41Sep 7, 2024Updated last year
- A contract for placing a takeover bid for an NFT collection☆29Jan 8, 2022Updated 4 years ago
- An anonymous message board powered by zero-knowledge group signatures.☆54Oct 7, 2025Updated 4 months ago
- evm inception: the evm inside the evm via yul and solidity☆226Apr 19, 2023Updated 2 years ago
- circom runtime☆20Oct 18, 2024Updated last year
- ZK Erdos Numbers using recursive SNARKs☆78Sep 24, 2022Updated 3 years ago
- Open-Source Libraries for Circom by ABDK Consulting☆19Dec 22, 2019Updated 6 years ago