diff --git a/l2_and_rollups/circom.md b/l2_and_rollups/circom.md new file mode 100644 index 0000000..03e8bd5 --- /dev/null +++ b/l2_and_rollups/circom.md @@ -0,0 +1,8 @@ +## 🍍 [circom](https://docs.circom.io/) + +
+ +* 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