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

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

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

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

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

Fiat–Shamirヒューリスティックは、暗号学におけるゼロ知識証明のプロトコルを非対話型に変換するための手法である。

もともとは複数回のやり取りが必要な対話型プロトコルを、乱数生成とハッシュ関数を利用して、証明者と検証者の間の通信を一度にまとめることが可能となる。

これにより、効率的かつ安全に証明を行うことができる。この手法は、デジタル署名やブロックチェーン技術などで広く使用されている。

ただし、Fiat–Shamirヒューリスティックは経験則的な手法であり、理論的には安全性の保証が不十分な場合もあるため、特定の状況では使用が制限されることがある。

1986年にAmi Fiat (アミ・フィアット)とAdi Shamir (アディ・シャミア) によって提案されたことから。

CPUは、コンピュータの心臓部であり、プログラムの命令を解釈し、実行する主要な構成要素。

計算や処理の中枢を担い、システム全体の性能に大きな影響を与える。

プロセッサとも呼ばれる。

central「中心の」processing「処理する」unit「構成要素」で、「コンピュータの中心で処理を行う構成要素」と言う意味から。

算術回路とは、数学的な演算（加算、減算、乗算、除算など）を行うための回路のこと。

主にコンピュータのプロセッサやデジタル計算機において使用される。