零知识证明是近年来密码学界最重要的突破之一。短短4年时间里，涌现出一大批证明系统。本文简要介绍并推荐一些经典的零知识证明项目作为入门推荐。 高级...
投稿
收录了10篇文章 · 6人关注
-
零知识证明入门编程系统
-
V神对QAP深入浅出的分析二本文翻译自V神的Medium文章：二次计算方程：从0到1，详细讲解了QAP，并给出了一个程序实现，本文是下半部分，介绍了把计算转化为R1CS的过...
-
V神对QAP深入浅出的分析(上)本文翻译自V神的Medium文章：二次计算方程：从0到1，详细讲解了QAP，并给出了一个程序实现，本文是上半部分，介绍了把计算转化为R1CS的过...
-
解释SNARKs 第4部分：如何进行可验证多项式盲估In this part, we build on Part II and III to develop a protocol for veri...
-
解释SNARKs 第5部分：从计算到多项式In the three previous parts, we developed a certain machinery for dealin...
-
解释SNARKs 第6部分 皮诺曹协议
In part V we saw how a statement Alice would like to prove to Bob can be...
-
解释SNARKs 第7部分：椭圆曲线配对
In Part VI, we saw an outline of the Pinocchio zk-SNARK. We were missing...
-
解释SNARKs 第3部分：知识系数测试和假设In Part II, we saw how Alice can blindly evaluate the hiding E(P(s)) of ...
-
解释SNARKs 第1部分：同态隐藏Constructions of zk-SNARKs involve a careful combination of several ingr...
-
解释SNARKs 第2部分：多项式盲估In this post, we recall the notion of a polynomial, and explain the noti...
{var%20f='http://v.t.sina.com.cn/share/share.php?appkey=1881139527',u=z||d.location,p=['&url=',e(u),'&title=',e(t||d.title),'&source=',e(r),'&sourceUrl=',e(l),'&content=',c||'gb2312','&pic=',e(p||'')].join('');function%20a(){if(!window.open([f,p].join(''),'mb',['toolbar=0,status=0,resizable=1,width=440,height=430,left=',(s.width-440)/2,',top=',(s.height-430)/2].join('')))u.href=[f,p].join('');};if(/Firefox/.test(navigator.userAgent))setTimeout(a,0);else%20a();})(screen,document,encodeURIComponent,'','','https://upload.jianshu.io/collections/images/1800954/54b69-zk.jpg', '推荐专题《零知识证明（Zero Knowledge Proofs）》（ 分享自 @简书 ）','http://39.103.169.235/c/83a55cea4746?utm_campaign=maleskine&utm_content=collection&utm_medium=reader_share&utm_source=weibo','页面编码gb2312|utf-8默认gb2312'));){kind=link}