本文介绍了算术电路的概念及其作为通用计算模型的作用,探讨了如何利用算术电路验证问题的解决方案,并提到其在零知识证明中的应用。文章还提到算术电路可以分解为其构建模块(门),便于验证计算过程。
本文详细介绍了阈值签名(Threshold Signatures)的工作原理,这是一种多方参与的签名方案,允许在不需要所有参与者签名的情况下生成有效的签名。文章涵盖了密钥生成、签名和验证的步骤,并讨论了多项式和椭圆曲线在其中的应用。
文章详细介绍了Schwartz-Zippel Lemma在零知识证明(ZK-Proof)中的应用,通过多项式例子和Python代码展示了如何利用该引理进行多项式相等性测试和向量相等性测试。
文章介绍了ZK-SNARKs中使用的可信设置机制,详细解释了如何在保密值上计算多项式,并提供了Python代码示例。
介绍了拉格朗日插值法,通过一组点计算一个经过这些点的多项式,并提供了Python代码示例。
文章介绍了ZK-STARKs技术,这是一种零知识证明技术,不依赖于可信设置,且能抵御量子计算机攻击。文章详细解释了如何使用多项式来进行零知识证明,并通过多个示例展示了其应用场景。
本文是STARK数学系列的第三篇,深入探讨了如何通过多项式约束的组合,从执行轨迹中构造低度多项式,并展示其在验证过程中的应用。作者介绍了误差纠正码在提高验证器查询效率中的作用,并通过简单的布尔执行轨迹和斐波那契数列示例说明了相关原理,最后讨论了多列多约束情况的处理。文章在理论和实践中都有深度和详实的分析,是理解STARKs的重要资源。
本文深入探讨了在Rank-1约束系统(R1CS)中列编码与行编码的优缺点,特别是在零知识证明(ZKP)的背景下。列编码通过创建简单的多项式来简化计算,较低的多项式度数使其在计算上更高效,适合加密应用,而行编码则因多项式复杂度高而较少使用。
本文介绍了多项式在密码学中的应用,特别是拉格朗日多项式在插值和冗余编码中的重要性。通过使用多项式,可以实现数据冗余和秘密共享等技术,提高数据传输和存储的安全性和可靠性。
这篇文章深入探讨了STARKs中的算术化方法以及其与计算完整性之间的关系,主要聚焦于AIR及其变体PAIR。文章详细分析了在STARKs中的算术中介表示、执行轨迹的定义和构建、以及多元多项式的约束形式。作者提供了丰富的数学背景支持,并通过示例和公式说明了算术化过程的具体实施方案,是一篇技术深度和结构清晰的文章。
文章详细介绍了zk-SNARKs的工作原理及其在区块链中的应用,通过多项式和多项式承诺等技术,实现了可扩展性和隐私保护。
本文深入探讨了zk-SNARKs技术中的二次算术程序(QAP),详细解释了如何将代码转换为QAP并生成零知识证明。文章通过一个简单的三次方程示例,逐步展示了从代码扁平化到R1CS再到QAP的转换过程,并介绍了如何在多项式上进行约束检查。