Groth16
zcashが使用
最小の証明スキーム（数百バイト）を持つ証明スキーム
課題
信頼されたセットアップを必要とする
https://www.cryptologie.net/article/560/zk-faq-whats-a-trusted-setup-whats-a-structured-reference-string-whats-toxic-waste/
パラメータ生成は残念ながら危険で、それを実行する人は、証明を偽造できるような値をいくつか持っていることになるから
信頼できる誰かにパラメーターの生成を実行させる
サーキットごとに必要
回路を変更するたびに、あるいは新しい回路を証明するたびに必要