阿萍的博客
整数压缩算法 TurboPFor
本文讲述整数压缩算法 TurboPFor。原作者写了个示例，以方便理解：https://github.com/stapelberg/goturbopfor1 压缩后的格式以 TurboPFor2...
halo2 example
源码：https://zcash.github.io/halo2/user/simple-example.html 证明 $a^2⋅b^2=c$private 数据：a, bpublic 数据：...
ubuntu 安装 riscv-gnu-toolchain
安装依赖：sudo apt install autoconf automake autotools-dev curl python3 python3-pip libmpc-dev libmpfr...
密码学[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 整...
TCP 三次握手和四次挥手
1 背景我们知道 UDP 协议乐观且心大，相信网络环境比较健康，数据是可以送达的，即使送达不了也没关系。而 TCP（Transmission Control Protocol，传输控制协议） 就...
原码 反码 补码
1 背景我们了解到计算机由控制器、运算器、存储器、输入和输出五个部分组成。其中，运算器中不包含减法器，倒不是说减法器实现不了，而是聪明的人发现了可以用加法器来实现减法操作，这样就不必再设计减法器...