how circ works

Circ 's IR is based on SMT-LIB. The IR is inspired from LLVM for CPU, but is for EQC(Existential Quantified Circuit), which is in the similar domain of SMT . The framework provides the facilities to translate frontend language to the IR, from IR to different arithmetic backends, and can be used to prove and verify zk program written in its supported frontend languages. This note is to explore how…