Design Circom-based zero-knowledge circuits for proof generation.
npx skills add https://github.com/mashharuki/car --skill circom-dev-mashharuki
Please help me install this Agent Skill. Skill: circom-dev Source: https://github.com/mashharuki/car/tree/main/.claude/skills/circom-dev Command: npx skills add https://github.com/mashharuki/car --skill circom-dev-mashharuki
Circom-based zero-knowledge circuit development is complex and error-prone; this skill provides structured guidance to design, implement, and validate Circom zkSNARK circuits, increasing reliability and speed.
Set up a Circom project, install dependencies from assets/package.json, copy a template circuit, and run the provided scripts to compile, setup keys, and test proofs.
High-intent search queries and answers about installing and using this skill.
Design and test Circom zkSNARK circuits by using templates and standard libraries to architect arithmetic constraints, verify witness generation, and validate proofs end-to-end. This skill provides structured scripts to compile circuits and test proofs.
Build a Merkle proof authentication flow in Circom by leveraging reference patterns and Circomlib components to structure your circuit design. This approach accelerates development of privacy-preserving credential checks and authentication workflows.
Verify constraints and validate zero-knowledge proofs in Circom by testing witness calculators and running provided validation scripts. This ensures your arithmetic and logic circuits generate correct proofs without errors.
Yes, you can use Circomlib templates for range proof circuit design. The skill provides reference patterns leveraging Circomlib components specifically to accelerate building range proofs and other zero-knowledge proof architectures.
Circom witness generation fails during constraint verification when arithmetic circuits contain incorrect constraints or logic errors. Validate your circuit design, test witness calculators, and ensure templates align with Circomlib standards.
Yes, you need to install dependencies from the provided assets before compiling Circom circuits. Set up your project, copy template circuits, and run scripts to compile, setup keys, and generate zero-knowledge proofs.
cyoteeCompile arithmetic circuits into R1CS, WASM, and symbol files.
cyoteeGenerate and verify zkSNARK proofs with snarkjs for circom circuits.
mitchuskiDesign zero-knowledge proof circuits for privacy-preserving cryptographic systems.
eyepyonAutomate Circom zk circuit development with constraint verification and testing.
