mirror of
https://github.com/autistic-symposium/blockchains-security-toolkit.git
synced 2025-08-03 03:46:15 -04:00
475 B
475 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