多项式

本文详细介绍了阈值签名（Threshold Signatures）的工作原理，这是一种多方参与的签名方案，允许在不需要所有参与者签名的情况下生成有效的签名。文章涵盖了密钥生成、签名和验证的步骤，并讨论了多项式和椭圆曲线在其中的应用。

本文介绍了算术电路的概念及其作为通用计算模型的作用，探讨了如何利用算术电路验证问题的解决方案，并提到其在零知识证明中的应用。文章还提到算术电路可以分解为其构建模块（门），便于验证计算过程。

本文通过一个笔和纸的例子，介绍了使用STARKs进行计算完整性的方法。

本文是STARK数学系列的第三篇，深入探讨了如何通过多项式约束的组合，从执行轨迹中构造低度多项式，并展示其在验证过程中的应用。作者介绍了误差纠正码在提高验证器查询效率中的作用，并通过简单的布尔执行轨迹和斐波那契数列示例说明了相关原理，最后讨论了多列多约束情况的处理。文章在理论和实践中都有深度和详实的分析，是理解STARKs的重要资源。

介绍了拉格朗日插值法，通过一组点计算一个经过这些点的多项式，并提供了Python代码示例。

文章介绍了ZK-SNARKs中使用的可信设置机制，详细解释了如何在保密值上计算多项式，并提供了Python代码示例。

文章详细介绍了Schwartz-Zippel Lemma在零知识证明（ZK-Proof）中的应用，通过多项式例子和Python代码展示了如何利用该引理进行多项式相等性测试和向量相等性测试。

文章介绍了ZK-STARKs技术，这是一种零知识证明技术，不依赖于可信设置，且能抵御量子计算机攻击。文章详细解释了如何使用多项式来进行零知识证明，并通过多个示例展示了其应用场景。

本文介绍了构建和理解零知识电路的基本心智模型，通过Circom代码示例深入探讨了其核心概念、多项式原理以及零知识证明中常见的约束不足变量漏洞。文章详细解释了信号、约束操作符和二元约束的重要性，并强调了其在零知识证明安全性中的实际影响。

本文介绍了 LambdaWorks 库的开发目标，该库旨在提供易于使用的零知识证明工具，并重点介绍了 STARKs 证明系统的原理和实现步骤，包括算术化、多项式方程转换和 FRI 协议，并通过一个玩具示例展示了 FRI 协议的运行过程，最后总结了 STARKs 的核心思想。

本文深入探讨了SUMCHECK协议，该协议是许多“可验证计算”原语的基础。文章详细介绍了协议的每一轮，包括证明者如何发送单变量多项式以及验证者如何进行检查和发送挑战。此外，文章还提供了SUMCHECK协议有效性的直观证明，并解释了Schwartz-Zippel引理在该协议中的应用。

本文深入探讨了ZK-STARKs中约束的执行以及如何处理周期性应用的约束。文章解释了如何将计算的执行轨迹转换为多项式，并利用单位根的性质来简洁地表达和验证约束，尤其是在约束条件周期性重复出现的情况下，从而优化性能并简化理解。

本文深入探讨了在Rank-1约束系统（R1CS）中列编码与行编码的优缺点，特别是在零知识证明（ZKP）的背景下。列编码通过创建简单的多项式来简化计算，较低的多项式度数使其在计算上更高效，适合加密应用，而行编码则因多项式复杂度高而较少使用。

本文深入探讨了STARKs中约束的概念，并通过Lambdaworks库，以Cairo的非确定性连续只读内存的约束实现为例，详细解释了如何使用多项式来总结trace values之间的高度复杂关系。文章详细介绍了连续只读内存的定义，以及如何通过引入排序和辅助列，将验证内存属性简化为验证连续性约束、单值约束和排列约束。

本文介绍了零知识证明（ZKP）中将计算转换为多项式的过程，即算术化。文章详细讲解了三种主要的算术化方案：R1CS、AIR 和 Plonkish，以及它们在电路计算和机器计算中的应用。此外，文章还提到了为优化算术化过程而提出的多种技术，如查找表、SNARK 友好的密码学原语、并发证明生成和硬件加速。