circom
Skill is based on circom 2.x, generated at 2026-02-24.
circom is a domain-specific language and compiler for defining arithmetic circuits used in zero-knowledge proving systems (e.g. with snarkjs). Circuits are built from parameterized templates and components; the compiler outputs R1CS (and optionally WASM/C++ witness generators). This skill focuses on language semantics, constraint generation, and practical usage for agents.
Core References
| Topic | Description | Reference |
|---|---|---|
| Signals | Input/output/intermediate, assignment operators, public/private, immutability | core-signals |
| Templates and components | Definition, instantiation, dot notation, arrays, parallel and custom templates | core-templates-components |
| Constraint generation | Quadratic constraints, ===, <== vs <-- + === | core-constraints |
| Main component | Entry point, public input list, single main | core-main-component |
| Pragma and include | Version, custom_templates, include, -l | core-pragma-include |
Features
| Topic | Description | Reference |
|---|---|---|
| Operators | Field, boolean, relational, bitwise; precedence; conditional ? : | features-operators |
More from hairyf/blockchain-master
openzeppelin-contracts
Secure smart contract library—access control, tokens (ERC20/721/1155/4626/6909), upgradeable contracts, and utilities.
15viem
TypeScript interface for Ethereum — clients, contracts, accounts, chains, ENS, and utilities.
13wagmi
Wagmi — React/Vue/Solid hooks and Core for Ethereum; config, connectors, read/write contracts, TanStack Query.
11ton
TON Blockchain — addresses, messages, TVM, cells, Blueprint, contracts, payments, API.
11envio
Envio blockchain data stack — HyperSync, HyperIndex, HyperRPC; fast indexing and data APIs.
8uniswap-v4
Uniswap v4 core pool logic — singleton PoolManager, unlock/callback, pool actions, hooks, and types.
7