2.3 linear_combination
libsnark库总结了几种描写语言：
domain是计较傅立叶调动/反傅立叶调动的引擎，由libfqfft库实现。
private:
commit 477c9dfd07b280e42369f82f89c08416319e24ae
}
Document that we also implement the Groth16 proof system. var_index_t index;
template<typename FieldT>
一个R1CS系统，包罗多个R1CS约束。虽然，每个约束的向量的长度是牢靠的（primary input size + auxiliary input size + 1）。
libsnark源代码，发起想深入零常识
郑重声明：本文版权归原作者所有，转载文章仅为传播更多信息之目的，如作者信息标记有误，请第一时间联系我们修改或删除，多谢。
