零知識證明是近年來密碼學界最重要的突破之一。短短4年時間里，涌現(xiàn)出一大批證明系統(tǒng)。本文簡要介紹并推薦一些經(jīng)典的零知識證明項目作為入門推薦。 高級...
投稿
收錄了10篇文章 · 6人關注
-
零知識證明入門編程系統(tǒng)
-
V神對QAP深入淺出的分析二本文翻譯自V神的Medium文章：二次計算方程：從0到1，詳細講解了QAP，并給出了一個程序?qū)崿F(xiàn)，本文是下半部分，介紹了把計算轉(zhuǎn)化為R1CS的過...
-
V神對QAP深入淺出的分析(上)本文翻譯自V神的Medium文章：二次計算方程：從0到1，詳細講解了QAP，并給出了一個程序?qū)崿F(xiàn)，本文是上半部分，介紹了把計算轉(zhuǎn)化為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部分 皮諾曹協(xié)議
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部分：知識系數(shù)測試和假設In Part II, we saw how Alice can blindly evaluate the hiding E(P(s)) of ...
-
解釋SNARKs 第1部分：同態(tài)隱藏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://www.itdecent.cn/c/83a55cea4746?utm_campaign=maleskine&utm_content=collection&utm_medium=reader_share&utm_source=weibo','頁面編碼gb2312|utf-8默認gb2312'));){kind=link}