ゼロ知識証明回路の基礎

ミキサープロトコルの実装をするためにはゼロ知識証明を生成するプログラムを作成しなければなりません。そのようなプログラムを回路（circuit）と呼びます。回路は、ステートメントを計算機が扱いやすいよう変換したものです。この章では、回路の基礎を学びます。