写在前面 伴随着区块链的技术发展，零知识证明（ZeroKnowledgerProof,ZKP）技术先后在隐私和Layer...

jiangXB 2021-03-10

零知识证明 PLONK

接下来，将继续分享如何证明门的约束关系得成立，以及整体的协议剖析

jiangXB 2021-01-21

PLONK

最近研究了下零知识证明算法-PLONK。肚子里的墨水又增加了，记一下学习成果与新的体会，和大家共同学习---江小白。 现...

jiangXB 2021-01-21

PLONK

前言 nbsp; Bulleproofs算法有两个方面的应用。 一个是Range proof： 第一讲：https://www.8btc.com/media/530155 第二讲：https://www.8btc.com/media/532874 第三讲：https://www.8btc.com/media/534000 一个是general arithmetic circuits。 本编文章就来主要分享Bulletproofs在后者上的应用。 nbsp; Arithmetic Circuits...

jiangXB 2019-12-19

区块链技术 零知识证明

本篇主要分享基于Bulletproofs的Range proof的具体实现细节，并和当前github已有的实现做了对比分析。

jiangXB 2019-12-16

bulletproofs

前言 在本系列的第一篇文章中，我们介绍了Bulletproofs在Range proof上的应用，当prover想要证明v值在范围[0, 2n-1]内时，他需要发送2n+7个元素。然而，这种O(n)级的CC并不是我们想要的，希望能寻找一种方法可以把CC降低到O(log(n)级。本篇我们就主要介绍这个优化过程。主要分为两部分： 1.    以简单的场景去阐述这个优化过程 2.    把第一篇的Range proof结果嵌入到优化过程 注：第一篇文章由于格式的原因，公式显示会有误差，向量的特殊标记也...

jiangXB 2019-12-14

区块链技术 零知识证明

深入浅出，理解Bulletproofs是如何高效的实现range proof的。

jiangXB 2019-12-12

bulletproofs

Zcash Sapling版本的协议细节。

jiangXB 2019-12-06

Zcash 零知识证明

“理解零知识证明算法值Zk-stark”系列收官篇，本文将详细介绍FRI协议的过程。

jiangXB 2019-12-03

零知识证明 技术指南 zkSTARK

本文将以另外一个例子为基础，在回顾Arithmetization 过程的同时，将内容引申到多项式的LDT过程。

jiangXB 2019-11-29

区块链技术 零知识证明

Zk-stark算法大体可以分为两个部分：Arithmetization和Low Degree Testing，本篇将详细介绍算法的第一阶段Arithmetization。

jiangXB 2019-11-19

零知识证明 技术指南 zkSTARK

本文深入浅出，分别从概念和算法上介绍了zk-snark和zk-stark算法的异同之处

jiangXB 2019-11-12

零知识证明 ZKSNARK zkSTARK

编者注：原标题为《关于zk-snark算法，想和您探讨一下。》 前言 了解零知识证明的读者，可能都拜读过V神的文章，整个系列由浅入深，很有条理，相对其他文章更容易理解一下【1】。其实V神讲解的算法是PGHR13算法的整体步骤，此算法也被应用于知名项目Zcash中，现在，就让我们去一起探究，在实际项目中，PGHR13算法是具体的什么步骤呢？【2】 nbsp; 建议 阅读本文前，假设您已经熟读并理解V神的关于零知识证明的讲解过程【1】。 PGHR13 在Zcash的Sapling版本升级之前，其采用...

jiangXB 2019-11-01

区块链技术 零知识证明 ZKSNARK