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