Zero-knowledge circuit development using Circom and Noir languages. Supports constraint optimization, ZK-friendly cryptographic primitives, proof generation (Groth16, PLONK), and Merkle tree implement
plugins/babysitter/skills/babysit/process/specializations/cryptography-blockchain/skills/zk-circuits/SKILL.md(main)