zk-circuits

# ZK Circuit Development Skill Zero-knowledge circuit development using Circom and Noir for privacy-preserving applications and zkRollups. ## Capabilities - **Circom Circuits**: Write Circom templates and components - **Noir Programs**: Develop Noir ZK applications - **Constraint Optimization**: Minimize circuit constraints - **ZK Primitives**: Use Poseidon, MiMC, and Pedersen hashes - **Proof Systems**: Generate Groth16 and PLONK proofs - **Signal Design**: Design efficient circuit inputs/outputs - **Merkle Trees**: Implement membership and non-membership proofs - **Witness Generation**: Create efficient witness calculators ## Circom Development ### Installation ```bash # Install Circom curl --proto '=https' --tlsv1.2 https://sh.rustup.rs -sSf | sh git clone https://github.com/iden3/circom.git cd circom cargo build --release cargo install --path circom # Install snarkjs npm install -g snarkjs # Verify circom --version snarkjs --version ``` ### Basic Circuit ```circom pragma circom 2.1.6; // Simple addition circuit template Addition() { // Public inputs signal input a; signal input b; // Output (public by default) signal output c; // Constraint c <== a + b; } component main = Addition(); ``` ### Multiplier Circuit ```circom pragma circom 2.1.6; template Multiplier(n) { signal input in[n]; signal output out; signal intermediate[n]; intermediate[0] <== in[0]; for (var i = 1; i < n; i++) { intermediate[i]...