Circomは、暗号学におけるゼロ知識証明の生成に特化したプログラミング言語。

Circomでは、ユーザが証明回路を定義し、その回路を用いて効率的な証明を生成できる。

数学的な回路や条件を記述することで、秘密情報の証明を行うための回路を設計し、Circomはこれらの回路をコンパイルして証明生成に必要なデータを出力する。

Circomの語源については、公式な発表や明確な情報が存在しないため、確定的な説明は難しい。一般的には、Circomが「Circuit Compiler」の略称であるという説明が多いが、公式に確認されているわけではない。

Circomは、ゼロ知識証明システムにおける算術回路を記述するためのプログラミング言語およびコンパイラであることから、その名前が回路（Circuit）とコンパイラ（Compiler）に関連しているという推測がなされている。