有限域

本文是Pieter Wuille撰写的libsecp256k1教程，深入介绍了secp256k1椭圆曲线背后的抽象代数基础（群、域、同构），详细阐述了曲线的数学定义（坐标域、群运算、标量乘法、GLV自同态、雅可比坐标），并全面解析了libsecp256k1库的实现架构，包括标量/域运算、模逆算法、点乘算法、测试与基准等。文章结构清晰，包含丰富公式、代码示例和测试向量，适合对椭圆曲线密码学及高效实现感兴趣的读者。

本文深入探讨了椭圆曲线在密码学中的应用，解释了椭圆曲线实际上是一个群，并且详细介绍了群的定义、操作及其在密码学中的重要性。文章还讨论了离散对数问题（DLP）及其在椭圆曲线群中的应用，以及如何选择适合密码学的椭圆曲线。

本文深入探讨了椭圆曲线密码学中椭圆曲线的定义和操作，特别是如何通过有限域和模运算在离散环境中进行点加和倍点操作，并介绍了射影坐标系的优势。

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

本文深入探讨了单位根的正交性（Orthogonality of Roots of Unity），这是数论变换（NTT）的核心数学基础。文章通过有限域 F17 的具体示例，证明了由本原 k 次单位根生成的幂次和规律：当幂次不是 k 的倍数时，其和为 0；当幂次是 k 的倍数时，其和为 k。作者利用几何级数公式给出了严谨的数学证明，并将其推广到两个单位根向量的内积形式。这一性质在信号处理和零知识证明的快速傅里叶变换中至关重要，是理解多项式乘法加速的关键。

本文深入探讨了消除编码（Erasure Coding）的原理和实现，特别是在去中心化区块链和数据存储系统中的应用。通过详细的数学基础和编码、解码过程的示例，展示了消除编码如何提供数据的高可用性、降低存储成本，并增强安全性，适应未来的存储挑战。

这篇文章深入探讨了环论的基本概念，包括环、交换环、余数环和多项式环的定义和性质。作者详细阐述了抽象代数在加密学中的应用，特别是在复杂数域和有限域（Galois域）的背景下，展现了多项式环和环同态的相关知识，并通过代码示例展示了相关概念的实际应用。

文章详细介绍了二次算术程序（QAP）的概念及其在零知识证明中的应用，特别是如何通过拉格朗日插值将Rank 1约束系统（R1CS）转换为QAP，并通过Schwartz-Zippel引理在O(1)时间内验证QAP的等式。

本文详细介绍了有限域在零知识证明电路中的应用，包括有限域的定义、模运算、加法逆元、乘法逆元等概念，并通过代码示例展示了如何在Python中实现这些操作。

文章详细介绍了有限域上的椭圆曲线，包括它们的绘制、数学性质以及在密码学中的应用。通过多个示例和代码，展示了如何生成和操作这些曲线，并解释了其与有限域的循环群特性。

《The RareSkills Book of Zero Knowledge》是一本面向程序员的零知识证明教程，内容涵盖从基础数学到实际编码实现，旨在帮助程序员深入理解零知识证明，尤其是Groth16算法。

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

文章详细介绍了如何使用多项式承诺方案在零知识证明中验证多项式乘法的正确性，包括算法步骤和优化方法，并附有代码实现。

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

本文是RareSkills零知识证明书中关于数论变换（NTT）的教程系列介绍。NTT是一种在有限域上以O(n log n)时间评估多项式值的算法，与快速傅里叶变换（FFT）在功能上相同。文章指出大多数教程仅关注奇偶分裂，而忽略了算法背后的数学原理，如单位根、循环子群、Vandermonde矩阵等。系列从第一性原理出发，逐步引导读者重新发现NTT，并附有可选证明。前置知识要求：有限域和群论基础。文章还提供代码示例（Python实现NTT）和完整的目录链接。