零知识证明
文章平均质量分 82
unclelikestolearn
计算机硕士、多项美国技术专利、15年美国IT从业经验。有在小型创业公司以及大型专业软件公司工作经验。对IT技术架构,技术趋势、IT技术团队管理等有持续的兴趣。
展开
-
【译】用例子来介绍zk-SNARKs
原文链接在本文中我们的目标是从一个实用的角度对 zk-SNARKs做一个总览。我们将把真正的数学当作一个黑盒子,但是我们会围绕如何使用这些数学知识建立起一些直观的认识。最后我们给出一个简单的应用,就是最近集成进以太坊的zk-SNARKs。零知识证明零知识证明的目的是让验证者能够让自己相信证明者知道某个称作证词(witness)的秘密参数。这个秘密参数事先不暴露给验证者或任何其他人,而且这个参...翻译 2019-07-27 22:27:23 · 3022 阅读 · 1 评论 -
【译】SNARKs讲解「第四部分」:如何让多项式盲求值可验证
Explaining SNARKs Part IV: How to make Blind Evaluation of Polynomials VerifiableAriel Gabizon | April 11, 2017| Updated: October 1, 2018<< Part IIIIn this part, we build on Part II and III...翻译 2019-07-22 03:07:57 · 825 阅读 · 0 评论 -
【译】SNARKs讲解「第三部分」:关于系数知识的测试和假设
In Part II, we saw how Alice can blindly evaluate the hiding E(P(s))of her polynomial P of degree d, at a point s belonging to Bob. We called this “blind” evaluation, because Alice did not learn sin...翻译 2019-07-21 02:19:49 · 670 阅读 · 0 评论 -
【译】SNARKs讲解「第七部分」:椭圆曲线的配对
Explaining SNARKs Part VII: Pairings of Elliptic CurvesAriel Gabizon | June 7, 2017| Updated: October 1, 2018<< Part VIIn Part VI, we saw an outline of the Pinocchio zk-SNARK. We were missi...翻译 2019-07-24 18:55:28 · 1759 阅读 · 0 评论 -
【译】SNARKs讲解「第六部分」:皮诺曹协议
Explaining SNARKs Part VI: The Pinocchio ProtocolAriel Gabizon | May 10, 2017<< Part VIn part V we saw how a statement Alice would like to prove to Bob can be converted into an equivalent for...翻译 2019-07-24 02:40:50 · 1294 阅读 · 0 评论 -
【译】SNARKs讲解「第五部分」:从计算到多项式
Explaining SNARKs Part V: From Computations to PolynomialsAriel Gabizon | April 25, 2017| Updated: October 1, 2018<< Part IVIn the three previous parts, we developed a certain machinery for...翻译 2019-07-23 13:10:15 · 1051 阅读 · 0 评论 -
【译】SNARKs讲解「第二部分」:多项式的盲求值
原文链接 https://electriccoin.co/blog/snark-explain2/在这篇文章里,我们将回顾多项式的概念,解释多项式“盲求值”的概念,以及如何用同态隐藏(HH)来实现它。在以后的文章里,我们将看到盲求值会是构造SNARK的核心工具。我们用FpF_pFp来表示尺度为ppp的域。也就是说,FpF_pFp的元素集合是 {0,...,p−1}\{0,...,p-1\}...翻译 2019-07-20 21:23:18 · 658 阅读 · 0 评论 -
【译】SNARKs讲解「第一部分」:同态隐藏
原文链接 https://electriccoin.co/blog/snark-explain/构造zk-SNARKs,需要对它的几个组成部分进行仔细的组合。要完整理解这些组成部分如何协同工作,是需要些时间的。如果我不得不在这些组成部分里选出最耀眼的一个,它可能就是将被我称为同态隐藏(也叫HH)的那个1。在本文里,我们将会讲解HH是什么,然后举一个例子,说明为什么HH很有用以及它是如何被构造出...翻译 2019-07-20 03:47:46 · 1722 阅读 · 0 评论