格子ベースのSNARKs 101。 一本の糸。
証人の抽出と線形関係の証明
386