零知识证明的基础：群与有限域

最新推荐文章于 2024-06-04 09:25:14 发布

HIT夜枭

最新推荐文章于 2024-06-04 09:25:14 发布

阅读量739

点赞数 18

分类专栏：零知识证明文章标签：零知识证明区块链

本文链接：https://blog.csdn.net/zr2006_7/article/details/138704798

版权

2 篇文章 0 订阅

订阅专栏

1、群
一个群（Group）是一个代数结构，它包含了一个集合以及一个在这个集合上定义的二元运算∘(通常指加法和乘法)，通常记作< G , ∘ > ，简单记为G.满足以下四个性质。

(1)封闭性：对于群中的任意两个元素 a 和 b，通过群的二元运算，它们的组合 a∘ b 也必须属于该群。换句话说，运算结果不会使元素离开群。

(2)结合性：群中的二元运算是结合的，即对于任意元素 a、b 和 c，(a ∘b) ∘c = a∘ (b ∘ c)。

(3)单位元素：群中存在一个特定的元素 e，称为单位元素，它满足对于群中的任何元素 a，e ∘a = a ∘ e = a。

(4)逆元素：对于群中的每个元素 a，必须存在一个逆元素 a^-1，使得 a ∘a^-1 = a^-1∘ a = e，其中 e 是单位元素。

全体整数 𝑍 对于通常意义上的加法构成一个群，这个群称为整数加群。在整数加群中，单位元是0， 𝑎 的逆元是 −𝑎 ；同样全体有理数集合 𝑄 ，全体实数集合 𝑅 ，全体复数集合 𝐶 对加法也构成群。
全体非零实数 𝑅∗ 对于通常意义上的乘法构成一个群，全体正实数 𝑅+ 对于通常意义上的乘法也构成一个群。

2、群的阶

群的阶：群中元素个数称为群G的阶，记为|G|

3、循环群
循环群，其元素由一个生成元重复作用而生成。具体来说，如果群G中存在一个元素g可以通过重复的使用二元运算（通常是乘法或加法）生成 G 中的所有元素，则群G就是循环群，元素g称为生成元。

循环群G内任意一个元素所生成的群都是循环群，而且是G的子群。

4、阿贝尔群

如果群 G上的乘法运算还满足交换律，即对于群 G中的任意元素 𝑎,𝑏∈G 都有 𝑎𝑏=𝑏𝑎 ，则称群 G为交换群或阿贝尔群。

5、陪集（Cosets）

设 G 是一个群，H 是 G 的一个子群。对于 G 中的任意元素 a，左陪集 aH 定义为：aH = {ah | h ∈ H}，其中 ah 表示 a 和 h 在群 G 中的运算结果。右陪集 Ha 定义为：Ha = {ha | h ∈ H}

6、域（Feild）

一个域是一个集合 F，它包含两个运算：加法（+）和乘法（·），满足以下性质：

加法：
- 结合律： (a + b) + c = a + (b + c)
- 交换律： a + b = b + a
- 存在零元：存在一个元素 0 ∈ F，使得 a + 0 = a
- 存在负元：对于每个 a ∈ F，存在一个元素 -a ∈ F，使得 a + (-a) = 0
乘法：
- 结合律： (a · b) · c = a · (b · c)
- 交换律： a · b = b · a
- 存在单位元：存在一个元素 1 ∈ F，使得 a · 1 = a
- 存在逆元：对于每个 a ∈ F 且 a ≠ 0，存在一个元素 a⁻¹ ∈ F，使得 a · a⁻¹ = 1
分配律： a · (b + c) = (a · b) + (a · c)