- 博客(8)
- 收藏
- 关注
RSS订阅原创 REDSHIFT: Transparent PLONK
写在前面伴随着区块链的技术发展，零知识证明（Zero Knowledger Proof, ZKP）技术先后在隐私和Layer2扩容领域得到越来越多的应用，技术也在持续的迭代更新。从需要不同的Trust Setup的ZKP（例如Groth16），到需要一次Trust Setup同时支持更新的ZKP（例如Plonk），再到不需要Trust Setup的ZKP（例如STARK），ZKP算法逐渐走向去中心化，从依赖经典NP问题，到不依赖任何数学难题，ZKP算法逐渐走向抗量子化；我们当然希望，一个不需要Trust
2021-03-09 18:15:17
451
原创 零知识证明算法PLONK -- 协议
唠嗑[上一篇](https://blog.youkuaiyun.com/weixin_43179764/article/details/112559306)主要描述了PLONK协议里的一个核心部分，用置换校验的方法去证明电路门之间的一致性；接下来，将继续分享如何证明门的约束关系得成立，以及整体的协议剖析。门约束举个简单的例子，假如存在一个电路，电路中仅有3个乘法门，对应的约束如下： L1 * R1 - O1 = 0 L2 * R2 - O2 = 0 L3 * R3 - O3 = 0进行多项式压缩：定义多
2021-01-20 11:44:51
1888
原创 零知识证明算法PLONK --电路
- 唠嗑 最近研究了下零知识证明算法-[PLONK](http://link.zhihu.com/?target=https://www.semanticscholar.org/paper/PLONK%253A-Permutations-over-Lagrange-bases-for-of-Gabizon-Williamson/d928b78ea85cae93d3ca0bfabe47bf954db55e7a)。肚子里的墨水又增加了，记一下学习成果与新的体会，和大家共同学习 --- 江小白。-
2021-01-13 13:56:08
2244
原创 Step1. 理解零知识证明算法之Zk-stark
Concept：zk-stark vs zk-snark谈到ZKP算法，大伙可能听过一些，比如zk-snark，zk-stark, bulletproof， aztec， plonk等等。今天，咱就给大伙聊聊这一对“表面兄弟”，zk-stark和zk-snark算法的异同之处。不如，先让我们从名称说起？ 毕竟，两个看起来都很厉害的亚子_ ！如下图所示，我们将名称zk-stark 和 zk-...
2019-11-12 17:44:07
3270
原创 zk-snark的算法详解
前言了解零知识证明的读者，可能都拜读过V神的文章，整个系列由浅入深，很有条理，相对其他文章更容易理解一下。其实V神讲解的算法是PGHR13算法的整体步骤，此算法也被应用于知名项目Zcash中，现在，就让我们去一起探究，在实际项目中，PGHR13算法是具体的什么步骤呢？PGHR13在Zcash的Sapling版本升级之前，其采用的零知识证明算法的主体就是PGHR13，并因为效率和安全问题，做了...
2019-10-31 23:18:08
2728
原创 zk-snark之R1CS->QAP
前言想学习zk-snark算法的读者可能大多都读过V神的文章（https://medium.com/@VitalikButerin/quadratic-arithmetic-programs-from-zero-to-hero-f6d558cea649）总共分为三个部分，细致而全面的讲解了zk-snark算法的基本数学原理及思想，想要看懂还是需要花费一些时间和心思的；同时，可能也有一部分读者会从...
2019-10-29 20:56:20
4004
1
原创 说说zk-snark的PGHR13算法和Groth16算法的异同
建议建议读者在阅读本篇分享时，要具备以下知识储备：1. 算数环路的基本概念及数学模型2. QAP的原理3. 零知识证明的基本思想4. PGHR13算法的数学原理5. Groth16算法的数学原理目的本篇分享主要针对零知识证明的两个主流算法，PGHR13和Groth16算法进行了相同点和异同点的分析。主要是个人的理解，如有错位，还请热心读者批评指正，先谢过^_^对比分析主要从...
2019-10-23 15:56:46
1378
原创 wade12138 的Zcash-sapling分享
这里写自定义目录标题欢迎使用Markdown编辑器新的改变功能快捷键合理的创建标题，有助于目录的生成如何改变文本的样式插入链接与图片如何插入一段漂亮的代码片生成一个适合你的列表创建一个表格设定内容居中、居左、居右SmartyPants创建一个自定义列表如何创建一个注脚注释也是必不可少的KaTeX数学公式新的甘特图功能，丰富你的文章UML 图表FLowchart流程图导出与导入导出导入欢迎使用Ma...
2019-10-21 21:43:09
691
4
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人