blockchains-security-toolkit/basic_knowledge/l2_and_rollups/circom.md

circom

• circom is a domain-specific language (dsl) and a compiler that can used to generate and verify zkps.
• zkps are powerful cryptographic tools that allow you to make proofs about a statement witout reveling any private information
• circom and other dls are used to describe a computation, together with a set of constraints on the program in/output
• the circom compiler takes a program and generates a prover and a verifier