區(qū)塊鏈學(xué)習(xí)者
發(fā)簡信
IP屬地：上海
-
-
區(qū)塊鏈投資小兵
-
@pope 我今天看了一下bulletproof的論文，我的理解是bulletproof是對range proof的一種improvement, 主要適用于證明prover的一個(gè)witness在一個(gè)范圍內(nèi)。然后結(jié)合論文里提到的aggregate range proof技術(shù)，事實(shí)上它對批量交易的證明驗(yàn)證其實(shí)是非常非常快的，但是對于單次交易的證明驗(yàn)證時(shí)間確實(shí)有所欠缺。
一個(gè)更優(yōu)的零知識證明：Bulletproofs
在2015年我們宣布機(jī)密交易(CT)作為側(cè)鏈Elements Alpha的主要特征。該特征用Pedersen commitments取代了交易金額，這種一種隱藏金額的加密工具...
-
看了下sero，它是基于zk-snarks的，雖然驗(yàn)證快，但是它需要trusted setup,這在去中心化的環(huán)境下是一個(gè)很不好的前提，所以才有了zk-starks，而且zk-snarks的數(shù)學(xué)假設(shè)是不可證偽的。bulletproof在很多應(yīng)用里并不差，畢竟proof size特別小。
一個(gè)更優(yōu)的零知識證明：Bulletproofs
在2015年我們宣布機(jī)密交易(CT)作為側(cè)鏈Elements Alpha的主要特征。該特征用Pedersen commitments取代了交易金額，這種一種隱藏金額的加密工具...
