“Cryptography”

Near-Optimal Oblivious Key-Value Stores 实现

源码：https://github.com/felicityin/rb-okvs有时候需要多方协作来完成一些计算，但每方都不希望暴露自己的数据。所以目标就是确保各方仅仅了解自己的数据，而不要了解...

halo2 example

源码：https://zcash.github.io/halo2/user/simple-example.html 证明 $a^2⋅b^2=c$private 数据：a, bpublic 数据：...

密码学[5]：Groth16

zero-knowledge protocol：是一组数学规则，根据这些规则，在给定 instance 后，prover 可以向 verifier 证明自己知道该 instance 的 wit...

密码学[4]：电路 R1CS QAP

1 形式语言形式语言给出：语句的形式 proof 是什么。设 $\sum$ 是任意集合，$\sum^*$ 是所有的长度有限的字符串 $<x_1, .., x_n>$，其中 $x_j$...

密码学[3]：椭圆曲线

1 Short Weierstrass Curves1.1 Affine Short Weierstrass formShort Weierstrass 椭圆曲线：F 是特征 q > 3 ...

密码学[2]：群 环 域

1 交换群 Commutative Groups大白话一个集合 G 和该集合上的某种二元运算。群 G 中的两个元素通过某种二元运算可得到该群中的另一个元素。群要满足一些性质，比如交换律、结合律、...

密码学[1]：整数 模 多项式

1 整数整数：没有小数的数字，用 Z 表示。自然数：所有的正整数，用 N 表示。实数：可用 n/m 表示，n ∈ Z，m ∈ N，用 Q 表示。素数：对于自然数 p ∈ N，只可被自身和 1 整...