Dark Forest zkSNARK circuits
☆124Nov 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Big integer arithmetic and secp256k1 ECC operations in circom☆340Nov 3, 2023Updated 2 years ago
- ☆46Jul 25, 2022Updated 4 years ago
- Generate an optimized Groth16 SNARK verification smart contract for use on EVM-based blockchains.☆127Sep 4, 2022Updated 4 years ago
- ☆206Nov 25, 2023Updated 2 years ago
- GOO(Gradual Ownership Optimization) issuance implementation using Huff☆34Oct 1, 2022Updated 4 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- An online playground for zero knowledge circuits☆155Jun 30, 2026Updated 3 months ago
- Smart Contracts for July 2022 Demo☆49Aug 2, 2022Updated 4 years ago
- Library of zkSNARKS circuits written in the Circom language.☆50Dec 5, 2021Updated 4 years ago
- turn-based zk strategy game☆20Dec 9, 2020Updated 5 years ago
- Hardhat plugin to integrate Circom and SnarkJS into your build process.☆120Oct 6, 2023Updated 3 years ago
- Library of basic circuits for circom☆749Oct 22, 2026Updated last week
- basic circom project using hardhat-circom (upgrade to circom2 is WIP)☆134Jun 16, 2023Updated 3 years ago
- Poseidon encryption in Typescript and circom (decryption only) on the BN254 elliptic curve☆14Jul 12, 2023Updated 3 years ago
- Variable Rate Gradual Dutch Auctions with Martingale Price Correction.☆37Sep 9, 2022Updated 4 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ☆17Mar 18, 2023Updated 3 years ago
- ☆12Oct 6, 2021Updated 5 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 4 years ago
- Dark Forest contracts☆314Jul 3, 2023Updated 3 years ago
- A template for noir.☆142Nov 24, 2023Updated 2 years ago
- An onchain game which explores different ZK game mechanics and information asymmetry☆96Oct 10, 2023Updated 3 years ago
- Provides tools for testing circom circuits.☆68Jun 10, 2025Updated last year
- group signatures implemented with zkSNARKs☆85Dec 5, 2021Updated 4 years ago
- Arkworks bindings to Circom's R1CS, for Groth16 Proof and Witness generation in Rust.☆284Apr 26, 2026Updated 6 months ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Dark Forest client☆184Feb 20, 2023Updated 3 years ago
- A static analyzer and linter for the Circom zero-knowledge DSL☆269Sep 30, 2026Updated last month
- Javascript library to work with circomlib circuits☆94Jun 5, 2026Updated 4 months ago
- Fully Onchain Badges for Huff Language GitHub Contributors.☆16Jul 15, 2022Updated 4 years ago
- Gas golfing the most gas efficient way to check if two integers have the same sign in Solidity☆46Oct 10, 2026Updated 2 weeks ago
- rough draft of cloneable univ3 swap receiver for openeing, closing, and editing single pair leveraged positions for multiple fuse pools☆27Apr 25, 2022Updated 4 years ago
- ☆134Apr 23, 2022Updated 4 years ago
- ☆18Dec 24, 2021Updated 4 years ago
- Lowering client-side proving cost for private ZK signatures in circom☆112Mar 18, 2023Updated 3 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- An reference implementation of Gradual Dutch Auctions. GDAs enable the efficient sale of assets that do not have liquid markets.☆213Oct 22, 2022Updated 4 years ago
- zkSnark circuit compiler☆1,700Updated this week
- Ecne: An engine for verifying the soundness of R1CS constraints☆116Aug 2, 2022Updated 4 years ago
- ☆28Dec 8, 2021Updated 4 years ago
- ZK Erdos Numbers using recursive SNARKs☆78Sep 24, 2022Updated 4 years ago
- Middleware to compile Circom circuits to Nova prover☆247Mar 1, 2024Updated 2 years ago
- GitHub action that installs huffc☆18Mar 22, 2023Updated 3 years ago