基于格的SNARKs 101。 一个主题。
提取见证并证明线性关系
306