blockchains-security-toolkit/l2_and_rollups/circom.md
mia von steinkirch, phd 2df3e6444d
clean up (#3)
2022-12-24 19:54:41 -08:00

470 B

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