circom-dev
CommunityEnd-to-end Circom zk circuit development.
Authoreyepyon
Version1.0.0
Installs0
System Documentation
What problem does it solve?
Circom-dev accelerates the development of zero-knowledge circuits by providing structured guidance, ready-to-adapt templates, and clear workflows for building, validating, and testing Circom-based zk circuits.
Core Features & Use Cases
- Circuit Implementation: Design and implement arithmetic circuits using Circom.
- Constraint Verification: Ensure constraints are correct, secure, and well-structured.
- Witness Generation & Testing: Create witness calculators and run end-to-end tests, including common zk patterns such as Merkle proofs and range proofs.
- Best Practices: Incorporates security considerations, debugging tips, and optimization guidance for robust circuits.
Quick Start
Install dependencies and run the included scripts to scaffold, compile, and test Circom circuits:
- Install Node.js dependencies (npm install) in the assets directory.
- Compile circuits with scripts/compile_circuit.sh <circuit.circom>.
- Generate proving/verification keys with scripts/setup_keys.sh <your.r1cs>.
- Verify a sample proof with scripts/verify_proof.js.
Dependency Matrix
Required Modules
None requiredComponents
scriptsreferencesassets
💻 Claude Code Installation
Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.
Please help me install this Skill: Name: circom-dev Download link: https://github.com/eyepyon/car/archive/main.zip#circom-dev Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
Agent Skills Search Helper
Install a tiny helper to your Agent, search and equip skill from 223,000+ vetted skills library on demand.