Pinocchio
非対話型ゼロ知識証明
の実装。
任意のプログラムが適切に実行されたかを、そのプログラムを多項式に変換し、ゲート(多項式において計算のステップを表す乗算や加算において設けられるもの)をおいて特定の項の位置を評価した証人多項式を生成し、多項式を証人多項式で割り剰余を求めることで証明する。