- 博客(9)
- 收藏
- 关注
RSS订阅原创 Polynomial Commitments代码实现【1】——scipr-lab/poly-commit（含不同曲线性能对比）
本文主要解析基于论文《Polynomial Commitments∗》在代码库中的实现细节。另关注下，Halo中polynomial commitment的实现细节。参考资料：[1] 论文《Polynomial Commitments∗》[2] 代码库：https://github.com/scipr-lab/poly-commit[3] 博客polynomial commitment及...
2019-10-30 17:04:35
1131
原创 Halo源代码解析
1. compute_b()函数cargo test test_compute_b -- --nocapturetest_compute_b测试函数基本流程如下：compute_b函数实际是计算的公式（假设k=k=k=challenges.len()）：((1Ck−1+xCk−1)(1Ck−2+x2Ck−2)(1Ck−3+x4Ck−3)(1Ck−4+x8Ck−4)...(1C0+x2kC...
2019-10-29 19:12:25
2046
原创 Halo中的快速傅里叶（逆）变换算法(I)FFT
1. FFT背景知识FFT背景知识可参看博客十分简明易懂的FFT（快速傅里叶变换）。2. Halo中的FFT代码实现在4核8G ubuntu16.04服务器上运行：cargo test test_fft -- --nocapturetest_fft函数中实现的是对两个999阶（1000个系数）多项式的乘法运算，在该函数内，分别进行了直接乘法运算naive_product和通过FFT实现...
2019-10-23 11:37:21
1397
原创 qesa——零知识证明，无需trusted setup
论文《Efficient zero-knowledge arguments in the discrete log setting,revisited (Full version)》发表于2019年8月31日。相应的代码实现见：https://github.com/crate-crypto/qesa参考资料：[1] 论文《Efficient zero-knowledge arguments ...
2019-10-22 10:07:22
813
原创 密码学中的sponge函数
1. Hash函数特性Hash函数是将任意长度的输入，映射为固定长度的输出：h:Z2∗↦Z2nh:Z_2^*\mapsto Z_2^nh:Z2∗↦Z2n通常nnn的取值为：128，160，256，512。Hash函数应具有如下特性：Pre-image resistant：即已知yyy，根据h(x)=yh(x)=yh(x)=y求xxx，需要2n2^n2n次尝试。2nd pre-i...
2019-10-14 18:40:00
2516
3
转载 rust std::mem::swap
pub fn swap<T>(x: &mut T, y: &mut T)Swaps the values at two mutable locations, without deinitializing either one.举例：use std::mem;let mut x = 5;let mut y = 42;mem::swap(&mut ...
2019-10-11 16:29:42
1015
原创 rank-1 constraint system R1CS
1. r1cs举例Vitalik 博客Quadratic Arithmetic Programs: from Zero to Hero中主要是举例证明知道x3+x+5==35x^3+x+5==35x3+x+5==35的答案x=3x=3x=3，将该方程式的证明拆分为如下4组线性等式：sym_1=x∗xsym\_1=x*xsym_1=x∗xy=sym_1∗xy=sym\_1*xy=sym_1∗x...
2019-10-08 18:49:03
3568
原创 secp256k1&secp224k1椭圆曲线
1. 有限域内的椭圆曲线1.1 椭圆曲线直观图形实数域内的椭圆曲线y2=x3+7y^2=x^3+7y2=x3+7的展示如下：有限域内的椭圆曲线y2=x3+7y^2=x^3+7y2=x3+7的展示如下（为有限域内离散的点）：1.2 椭圆曲线上的点运算规则2. secp256k1椭圆曲线定义$$参考资料：[1] 《The Orders of Elliptic Curves y2 ...
2019-10-03 18:11:28
3878
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人