Circom is a domain-specific language and compiler for defining arithmetic circuits to generate...