2020年01月_mutourend

原创 Direct Anonymous Attestation (DAA)

2016年论文《Universally Composable Direct Anonymous Attestation》中提到了Direct Anonymous Attestation (DAA)。1. DAA基本概念【以下内容摘自[1] 博客Direct Anonymous Attestation 解析（1） [2] 博客Direct Anonymous Attestation 解析（2）...

2020-01-30 20:29:39 2315 10

原创 vector commitment

1. 2015年论文《Composable & Modular Anonymous Credentials:Definitions and Practical Constructions》2015年论文《Composable & Modular Anonymous Credentials:Definitions and Practical Constructions》第三节中提到...

2020-01-29 22:33:07 961 6

原创 AHPs——algebraic holographic proofs

1. Interactive proofsinteractive proofs correspond to languages decidable in polynomial space: IP[poly(n)] = PSPACE。1.1 L.Babai1985年论文在L. Babai的1985年论文《Trading group theory for randomness》中提出了一种新的复...

2020-01-22 17:03:53 1187

原创秘密共享之CHURP: Dynamic-Committee Proactive Secret Sharing

2019年论文《CHURP: Dynamic-Committee Proactive Secret Sharing》及相应的会议论文报告《Proactive Secret Sharing in Dynamic Environments》，具体的代码实现见：https://github.com/CHURPTeam/CHURP参考资料：[1] 2019年论文《CHURP: Dynamic-Com...

2020-01-18 20:54:15 874

原创双变量多项式之Computational Verifiable Secret Sharing Revisited

2011年论文《Computational Verifiable Secret Sharing Revisited》，该论文中，提出了通过构建对称双变量多项式【即f(x,y)=f(y,x)f(x,y)=f(y,x)f(x,y)=f(y,x)】来实现秘密共享的算法实现。参考资料：[1] 2011年论文《Computational Verifiable Secret Sharing Revi...

2020-01-18 20:53:31 374

原创密码学中的双变量多项式Bivariate polynomials

当前，零知识证明算法多采用单变量多项式。什么样的双变量多项式可用于密码学应用中呢？1. 双变量多项式基于以上单变量多项式，引申到双变量多项式：2. 双变量多项式分类f(x,y) mod Nf(x,y)\ mod\ Nf(x,y) mod N的有用的密码学属性有：One way functions：单向函数。Second preimag...

2020-01-18 20:51:23 1266

原创 Sigma protocol用于one-out-of-many证明

2014年论文《One-out-of-Many Proofs: Or How to Leak a Secret and Spend a Coin》中有提及One out of N commitments containing 0的证明，具体的代码实现可见：https://github.com/3for/libsigma2015年论文《Short Accountable Ring Signatur...

2020-01-18 20:43:12 775 2

原创 Some Recent SNARKs

2019论文：待细看1）Spartan: Efficient and general-purpose zkSNARKs without trusted setup Srinath Setty (2019/550)Almost completely eliminates trusted setup, but succinct means root, not log*2）So...

2020-01-13 22:06:20 381

原创向量的Hadamard product VS Inner product

1. 定义向量的Hadmard product表示为：a⃗⊙b⃗=(a0b0,a1b1,a2b2,…,anbn)\vec{a} \odot \vec{b}=(a_0b_0,a_1b_1,a_2b_2,…,a_nb_n)a⊙b=(a0b0,a1b1,a2b2,…,anbn)向量的Inner product表示为：<a⃗,b⃗>=∑i=0naibi<\vec{...

2020-01-13 22:01:04 1378

原创 FFT rust代码实现

目前的实现主要有：1）Halo中（https://github.com/ebfull/halo/blob/master/src/util.rs）在utils.rs中对两条新的曲线做了实现；2）Zexe中，设计了单独的ff-fft模块，对pairing曲线（如Jubjub/mnt6等）做了实现；3）Openzkp中（https://github.com/0xProject/OpenZKP/bl...

2020-01-01 17:54:58 906

原创 pedersen commitment combination证明

1. Zexe中的pedersen commitmentZexe中基于的是pairing based曲线。Zexe中的pedersen commitment 为Pedersen CRH，当做Com(a1∗m1,a1∗r1)=a1∗Com(m1,r1)Com(a_1*m_1,a_1*r_1)=a_1* Com(m_1,r_1)Com(a1∗m1,a1∗r1)=a1∗Com(m1,r1...

2020-01-01 17:52:43 539

mutourend的博客