本文介绍了环和域这两个代数结构,它们都具有两个二元运算,通常称为加法和乘法。环是在加法下构成阿贝尔群,乘法下满足封闭性和结合律,且乘法对加法满足分配律的集合。域则是在加法和乘法下都构成阿贝尔群,且乘法对加法满足分配律的集合。
Ciara Nightingale
学习代数结构环和域如何在密码学中使用,以及为什么它们对于理解零知识证明背后的数学是必要的。 "F 是一个超多项式大小的素域 ”PLONK:用于普适非交互式知识论证的基于拉格朗日基的排列(2019) 在本文中,我们将最终了解什么是“域”。 在前一篇文章中,我们介绍了群论。我们将群定义为一个集合,当配备一个二元运算符时,满足四个特定属性:封闭性,它具有单位元素,每个元素都有逆,并且运算符是结合律。这组成了首字母缩略词 “Cyfrin Is Incredibly Awesome”。 此外,我们将 阿贝尔群 定义为也具有 交换律 属性的群。 在本文中,我们将扩展这些知识来定义 两个新的代数结构:
这些结构用于密码学,了解它们是什么以及它们的属性对于理解零知识证明和许多密码学方法背后的数学是必要的。 这些新结构与群之间的关键区别在于,我们将考虑配备单个二元运算符的集合,而不是考虑集合在 两个 二元 运算符 下的行为。
本文是零知识证明数学文章系列的一部分。在阅读本文之前,我们建议你阅读本系列的前三篇:
环是一个集合 R 配备了两个二元运算符,通常称为加法 (+) 和乘法 (⋅),它们满足以下条件:
运算符 1 - 加法 (+):首先,让我们考虑集合在加法下的行为方式。在加法下,集合 R 必须形成一个 阿贝尔群。记住 Cyfrin Is Incredibly Awesome 首字母缩略词?我们需要这些属性加上交换律才能成为阿贝尔群:
(a+b)+c=a+(b+c).
a+0=a.
a+(−a)=0.
a+b=b+a.
运算符 2 - 乘法 (⋅):现在,在乘法下,集合 R 必须满足以下属性才能形成一个环:
(a⋅b)⋅c=a⋅(b⋅c).
运算符 1 & 2 - 分配律:最后,让我们考虑一下集合在 两个 运算符下的行为方式。为了形成一个环,乘法必须对加法具有分配律:
a⋅(b+c)=(a⋅b)+(a⋅c).
(a+b)⋅c=(a⋅c)+(b⋅c).
补充说明:
域是一个集合,它在两个不同的二元运算符下形成一个阿贝尔群。它是一种特定类型的环,在第二个运算符下满足附加属性。 形式上,域是一个集合 F 配备了两个二元运算符,通常称为加法 (+) 和乘法 (⋅),它们满足以下代数性质:
运算符 1 - 加法 (+):在加法下,具有此运算的集合 F 形成一个 阿贝尔群:
(a+b)+c=a+(b+c).
a+b=b+a.
a+0=a.
a+(−a)=0.
运算符 2 - 乘法 ( ⋅):在乘法下,集合 F∖{0}(集合 F 排除加法单位元 0)形成一个 阿贝尔群:
(a⋅b)⋅c=a⋅(b⋅c).
a⋅b=b⋅a.
a⋅1=a.
a⋅a−1=1.
记住,当考虑模素数 p 的整数的有限集合(不包括 0,表示为 𝕡Zp∗)时,我们可以使用费马小定理来找到乘法逆元。
运算符 1 & 2 - 分配律:
让我们看一些例子来了解如何识别一个域。
在加法和乘法下形成域的集合的例子:
一个在加法和乘法下不形成域的集合的例子:
在本系列的下一部分,我们将探讨 循环群 和 生成点 - 可以通过重复运算创建群中每个其他元素的特殊元素。我们还将研究 离散对数问题 (DLP),这是一个计算上困难的问题,为椭圆曲线密码学和零知识证明系统提供安全保障。
本文定义了两种新的代数结构,称为环和域。这些结构考虑了具有 两个 二元运算符的集合,通常称为加法和乘法:
*为什么我们将这两个运算符称为 “通常” 称为乘法和加法? 域中的术语“加法”和“乘法”是指遵循某些公理(交换律、结合律、分配律等)的运算的抽象概念。我们使用这些熟悉的名称是因为:
💡更喜欢通过视频学习?查看这个 YouTube 视频!
- 原文链接: cyfrin.io/blog/zk-math-1...
- 登链社区 AI 助手,为大家转译优秀英文文章,如有翻译不通的地方,还请包涵~
如果觉得我的文章对您有用,请随意打赏。你的支持将鼓励我继续创作!