- 博客(11)
- 收藏
- 关注
翻译 【译】用例子来介绍zk-SNARKs
原文链接在本文中我们的目标是从一个实用的角度对 zk-SNARKs做一个总览。我们将把真正的数学当作一个黑盒子,但是我们会围绕如何使用这些数学知识建立起一些直观的认识。最后我们给出一个简单的应用,就是最近集成进以太坊的zk-SNARKs。零知识证明零知识证明的目的是让验证者能够让自己相信证明者知道某个称作证词(witness)的秘密参数。这个秘密参数事先不暴露给验证者或任何其他人,而且这个参...
2019-07-27 22:27:23 2979 1
翻译 【译】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 1739
翻译 【译】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 1272
翻译 【译】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 1038
翻译 【译】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 811
翻译 【译】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 656
翻译 【译】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 643
翻译 【译】SNARKs讲解「第一部分」:同态隐藏
原文链接 https://electriccoin.co/blog/snark-explain/构造zk-SNARKs,需要对它的几个组成部分进行仔细的组合。要完整理解这些组成部分如何协同工作,是需要些时间的。如果我不得不在这些组成部分里选出最耀眼的一个,它可能就是将被我称为同态隐藏(也叫HH)的那个1。在本文里,我们将会讲解HH是什么,然后举一个例子,说明为什么HH很有用以及它是如何被构造出...
2019-07-20 03:47:46 1702
原创 DIY一个百元以内的比特币硬件冷钱包
DIY一个百元以内的比特币硬件冷钱包为什么要硬件冷钱包如何DIY呢1. 买一个Raspberry PI2. 安装最新的Raspbian2. 在raspberry pi上安装Electrum冷钱包3. 在一台PC上安装Electrum热钱包(Watching-only)4. 做个测试为什么要硬件冷钱包安全!安全!安全!时常听说交易所被hacked了,用户的加密货币被盗了,或者用户自己的在线钱包...
2019-07-10 12:18:34 4617 2
原创 从paper_trail到Append Only数据库再到区块链技术的联想
以前在用Ruby on Rails做SaaS项目的时候,常常会用到一个叫paper_trail的gem(软件包)。这个gem可以帮助对关系数据库表实施审核功能。其具体做法就是把表的所以历史变化都记录下来。当时就想,是否可以设计一种Append only 关系数据库。所有的数据库记录写到数据库后,不能删除,也不能修改。若数据有新的变化,就再写一行。所有记录都有时间戳。这样整个数据库都有了审核功能。...
2019-07-08 02:03:34 337
原创 如何在Chrome里复制image到系统clipboard
如何在Chrome里复制image到系统clipboard里为何?如何?结果?为何?最近有点时间做一个小工具,其中需要把浏览器里的图片拷贝粘贴到Keynote里。于是做了些调研,总结如下:如何?直接上代码// Vanilla js code. No 3rd party libs neededdocument.getElementById("copyBtn").addEventListe...
2019-04-02 00:37:36 680
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人