區(qū)塊鏈學(xué)習(xí)者
發(fā)簡信
IP屬地：上海
-
-
區(qū)塊鏈投資小兵
-
@pope 我今天看了一下bulletproof的論文，我的理解是bulletproof是對range proof的一種improvement, 主要適用于證明prover的一個witness在一個范圍內(nèi)辕宏。然后結(jié)合論文里提到的aggregate range proof技術(shù)畜晰，事實上它對批量交易的證明驗證其實是非常非常快的瑞筐，但是對于單次交易的證明驗證時間確實有所欠缺凄鼻。
一個更優(yōu)的零知識證明：Bulletproofs
在2015年我們宣布機(jī)密交易(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年我們宣布機(jī)密交易(CT)作為側(cè)鏈Elements Alpha的主要特征菜秦。該特征用Pedersen commitments取代了交易金額甜害，這種一種隱藏金額的加密工具...
