《Spartan zkSNARK库》下载
通过将SPARK应用于差异的commitment方案，我们得到四个zkSNARK，个中验证者的本钱和证明巨细取决于基本commitment方案（从O（log ^ 2n）到O（√n））（n暗示NP语句的巨细） 。这些方案中的三种不需要可信的首个无需做可信配置的 zkSNARK 方案。”
为了实现这些功效，我们引入了新的技能，这些技能与总和查抄（sum-check）协议（一种开创性的交互式证明协议）举办团结：（
本文先容了Spartan，这是用于rank-1约束满意性（R-1CS）的零常识简捷非交互式常识参数（zkSNARKs）家属中的一位新成员，R-1CS是一种可归纳算术电路可满意性的NP完备语言。 Spartan包括了一项奇特成果，它为NP提供了第一个没有受
郑重声明：本文版权归原作者所有，转载文章仅为传播更多信息之目的，如作者信息标记有误，请第一时间联系我们修改或删除，多谢。
