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