零知识证明之书

限时优惠: ¥24.00
原      价: ¥144.00
文章篇数: 53 篇
更新时间: 1秒前
等 22 人参与
1

P vs NP 及其在零知识证明中的应用

2

ZK的算术电路

3

用于零知识证明的有限域与模运算

4

为程序员准备的基础集合论

5

抽象代数

6

程序员的基本群论

7

同态映射

8

椭圆曲线点加法

9

有限域上的椭圆曲线

10

Python、Solidity 和 EVM 中的双线性配对(Bilinear Pairings)

11

将代数电路转换为R1CS(一阶约束系统)

12

从R1CS构建零知识证明

13

使用Python实现拉格朗日插值

14

Schwartz-Zippel 引理及其在零知识证明中的应用

15

二次算术程序

16

在Python中将R1CS转换为有限域上的二次算术程序(QAP)

17

可信设置

18

在可信设置中评估和二次算术程序

19

Groth16 详解

20

Circom 零知识电路简介

21

Circom 之 Hello World

22

Circom模板参数、变量、循环、If语句、断言

23

二次约束 - Circom

24

Circom中的符号变量

25

Circom 中间信号与子组件

26

先指示再约束 - 在 Circom 中复杂约束条件的方法

27

先计算,后约束 - ZK 电路设计模式

28

Circom循环中的组件

29

使用虚假证明攻击欠约束的Circom电路

30

Circomlib中的AliasCheck和Num2Bits strict

31

Circom 中的条件语句

32

Quin Selector(选择器)

33

ZK 中有状态计算简介

34

在Circom中交换数组中的两个条目

35

选择排序的零知识证明

36

在 ZK 中建模栈数据结构 - 如何在 Circom 中创建一个堆栈

37

ZKVM 的工作原理

38

ZK中的32位仿真

39

Circom 中的 MD5 哈希

40

零知识证明友好的哈希函数

41

排列论证 - The Permutation Argument

42

Tornado Cash 的工作原理(开发者逐行解析)

43

BulletProofs 详解

44

什么是Pedersen承诺及其工作原理

45

多项式承诺通过 Pedersen 承诺实现

46

零知识乘法

47

内积的零知识证明

48

向量承诺的简洁证明

49

对数大小的承诺证明

50

Bulletproofs零知识证明:内积的零知识与简洁证明

51

内积代数

52

通过随机线性组合减少等式检查(约束)的数量

53

范围证明

RareSkills
RareSkills
https://www.rareskills.io/

该作者的其他专栏