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-skills
solana-anchor
Agent-oriented skills for the Anchor framework—Solana program structure, accounts, CPI, IDL, clients, and tooling.
7solana
Solana blockchain development — core concepts, clients, RPC, tokens, and payments for agent-driven tooling.
6tron
TRON (java-tron) - account model, DPoS, resources, system contracts, TVM, TRC-10/TRC-20, DEX, APIs, events, TronGrid.
4solana-kit
Solana Kit (JavaScript SDK) — RPC, signers, transactions, accounts, codecs, instruction plans, and program clients for agent-driven Solana tooling.
4tronbox
Development framework and testing environment for TRON (TVM) and EVM-compatible chains — compile, migrate, test, and console.
3tonweb
TonWeb JavaScript SDK for TON. Wallets, BOC, HttpProvider, NFT, Jetton, DNS.
3