烏鎮·Findora聯合創始人Ben Fisch：Supersonic（超音速）如何在零知識證明家族中脫穎而出_區塊鏈:LIBRAF價格

11月8日下午，由巴比特主辦的“2019世界區塊鏈大會·烏鎮”繼續進行，在分論壇“技術改變世界：區塊鏈底層基礎設施”上，斯坦福大學計算機科學系博士、密碼學專家、FindoraCTOBenFisch發表了《金融和零知識證明系統的透明度：Supersonic-一次超音速的突破》主題演講。

BenFisch在會上表示，比特幣、以太坊以及Libra的隱私性都很糟糕，而想要同時兼顧隱私和可審計性，可使用零知識證明方案來解決，其對比了幾種零知識證明方案，包括SNARKs、STARKs、Groth16、Bulletproofs以及他們所使用的Supersonic。據BenFisch表示，Supersonic的證明大小非常小，驗證快，而且其不需要可信設置，適合各種復雜度的隱私交易。

直擊烏鎮 | 中鈔區塊鏈張一鋒：下一代的數字身份是分布式的:金色財經現場報道，在11月8日舉行的第二屆世界區塊鏈大會·烏鎮現場，中鈔區塊鏈技術研究院院長張一鋒做出題為“分布式數字身份 構建區塊鏈的基礎設施”的演講。他指出雖然新的應用不斷被發掘并落地，但現在的聯盟鏈存在問題，包括：技術門檻高、浪費資源、不利于創新，而公有鏈因為監管缺失和非法應用的泛濫，流離于現實應用之外。張一鋒還介紹了數字身份的演進，應用賬戶、聯盟身份、數字證書，他認為下一代的數字身份是分布式的，且分布式數字身份是彈性的、扁平化的公布式認證方式，這更符合數字世界發展的需要。同時，張一鋒還簡要說明了分布式數字身份模型，及分布式數字身份的相關標準與密碼技術。[2019/11/8]

以下是BenFisch現場演講內容，經巴比特整理。

直擊烏鎮 | 百度區塊鏈肖偉：百度智能司法解決方案有法院、公證處、司法鑒定中心等為節點構建完整的區塊鏈法院聯盟系統:金色財經現場報道，在今日舉行的第二屆世界區塊鏈大會·烏鎮現場，百度區塊鏈實驗室負責人肖偉以《基于可信價值傳遞網絡的智慧城市建設》為題進行了演講。他表示，百度智能司法解決方案做到了一鍵立案，有法院、公證處、司法鑒定中心等為節點構建完整的區塊鏈法院聯盟系統，實現了證據從生成、存儲、傳輸到最終提交的整個環節真是可信，并具有法律效率。北京互聯網法院“天平鏈”、廣州互聯網法院“網通法鏈”、青島仲裁委員會證據平臺均有百度的支持。[2019/11/8]

直擊烏鎮 | 騰訊區塊鏈蔡弋戈：Libra的發行其實是加密貨幣的底層資產之爭:金色財經現場報道，在今日舉行的第二屆世界區塊鏈大會·烏鎮現場，騰訊區塊鏈業務總經理蔡弋戈以《數字資產基礎設施的產業化道路思考》為主題進行分享。他表示，Libra的發行其實是加密貨幣的底層資產之爭，監管合規是其最大的問題。Libra從錢包實施、協會組建一直在去Facebook化，但還是比較中心化。Libra使用了加密貨幣的形式，會極大普及加密貨幣的使用，而不僅僅用于投資、投機。Libra以法幣為錨定，與供應鏈金融的數字資產JPMcoin以及DCEP在本質上是類似的。是法幣以加密數字化形式的延展，完全尊重法幣的發行體系。

蔡弋戈還表示，盡管現有7家機構推出其協會，但是仍有1600家候補。以FSB為首共識監管全球加密貨幣，目前僅Libra進入深度切磋階段，幸存即勝利。合規化道路雖然曲折，但殺不死的會變更強。[2019/11/8]

我叫BenFisch，我講的是金融和零知識證明系統的透明度，我是Findora公司的聯合創始人。我們知道金融其實一直存在，我們也看到金融行業有數據孤島的現象，所以當你把金錢存在賬戶中，你并不知道他們把你的錢用到哪里，你沒有方式證明你存在銀行的錢會發生什么樣的故事。

直擊烏鎮 | 嘉楠耘智孔劍平：未來將是基于區塊鏈底層的數字世界:金色財經現場報道，在今日舉行的第二屆世界區塊鏈大會·烏鎮現場，嘉楠耘智聯席董事長孔劍平做出“區塊鏈：開啟可信硅基文明”的主題演講。他指出未來將是基于區塊鏈底層的數字世界，數字資產的世界會起來越龐大，包括：數據資產、實物資產數字化和數字貨幣。數字經濟將成為未來經濟增長的主動力。同時，孔劍平認為比特幣突破10萬美元唯一的障礙是時間，但過程是曲折的，現在的量子計算對比特幣和區塊鏈還不構成影響，減半是導火線，會帶來供需的變化，但不一定帶來比特幣的上漲。更多詳情見原文鏈接。[2019/11/8]

我們也看到過去有金融上的欺詐案例，這些欺詐金融案例就出現了數據孤島的問題。

而我們相信，區塊鏈將會在未來為金融機構帶來更多的應用。

直擊烏鎮 | 嘉楠耘智孔劍平：Libra帶來的才是真正的貨幣戰爭:金色財經現場報道，在今日舉行的第二屆世界區塊鏈大會·烏鎮現場，嘉楠耘智聯席董事長孔劍平指出Libra帶來的才是真正的貨幣戰爭，DCEP將引領央行數字貨幣，Libra掀起的是貨幣戰爭，而BTC有要付成為數字世界之錨，未來會發生的是貨幣戰爭、算力戰爭和可信應用。他還表示，未來將會是云計算、超級節點加邊緣計算的時代。長期來看，區塊鏈混合計算（POP）會超越現在的房地點和數字地產成為人類有史以來重要的資產類別。硅基文明是一個分布式的數字社會，硅基文明時代，一切算力都將來源于礦機，礦機是硅基文明的基石，礦工是硅基文明的奠基者。[2019/11/8]

我可以把所有的資產放到一個透明的，讓所有的客戶都可看到的方式和方法上。

我們在整個過程當中不需要有任何的審計員來進行賬本的審計，我們只需要知道源頭的數據是正確的，并且區塊鏈的數據是不可篡改的，那么整個數據就是可用的。

而對于我們的隱私保護來說，這同時也需要合規性，我們需要客戶的信任。

當我們說到關于全球的賬本時，我們首先可以看到一些應用，比如說比特幣，但是比特幣的問題是它沒有任何隱私性。

如圖左所示，我們通過研究表明追蹤比特幣交易容易實現的。同時因為比特幣的產生，現在整體的追蹤已變成一個商業化的行為。這就是為什么說比特幣對于商業應用而言，其實它并不那么適用，因為每個人都可以在比特幣平臺看到不同交易的參與方。

而現金交易，它是最原始的交易方式，其優缺點分別如下：

它非常難以追蹤，同時它是分散型的；

但它的缺點是非常貴，你需要把它印刷出來，同時它也要求物理的相互作用，它不是全球性的，也不可以被審計，你必須要面對面交易才可以使用它們。

同時我們看到，我們以前總是要在隱私性和可審計性等問題上做權衡，但隨著目前區塊鏈新技術的突破，我們就可以看到以上的這些缺點可被極大地限制。

另外，關于隱私的保護，我們認為Libra沒有什么意思，大家什么都能看到。像支付寶、微信，它們對公眾來說是保護隱私的，但對服務器而言就沒有什么隱私可言了。

如何在隱私和公共審計之間做一個很好的平衡？

一方面在公共賬本上它又有很好的隱私保護，但同時又可以進行公共的審計。我們可以用零知識證明來做這樣的一種安排，比如說我們在比特幣上，它就沒有什么隱私保護，大家什么都能看到。但如果我們要保護隱私，我們就可以使用加密算法，就是說我們不知道具體的金額是多少，但是我們還是能夠對它進行證明。這樣的話，我們就可以對它進行審計，以及在隱私之間建立很好的保護。在這里，我們可以通過零知識證明的方法來保護隱私。

可以看到這是我們和核審員之間，來證明它的答案是正值。我們可以看到核審員不知道X是多少，但是他知道它是正的，他也知道我們肯定是知道的。在這里還可以做成非交互式的零知識，他們只需要傳遞一個答案就可以了，我們這里就需要一些公眾的參數，可以看到Victor會去檢查π，看看它對不對，然后通過一個很簡單的答案，他就確信X是正的。

我們提一下SNARK，它是一個非常有效、快速的零知識證明，有時候需要非常簡潔的答案就夠了。我們在核算的時候，算的非常快，而且數據很小。

我們看到零知識證明可以幫我們帶來很多保護隱私的功能，比如說從保密的金錢匯款，還有資產的管理。

說到合約的時候，我們可以評估合約的資質來證明合約的可效性。比如說我們可以證明這個投資基金有償付能力，或者整個賬戶在公鏈上有加密的價值。我們還可以證明我們的資產是在白名單上，我們可以避免挪用，等等。

零知識證明家族的對比，Supersonic脫穎而出

我們再來簡單分析一下幾大零知識證明方案的特點。比如說Groth16，它非常小、非常快，但它需要可信設置。還有STARKs，放在區塊鏈上基本上不可用，因為它太大了，但它比較快。還有Bulletproofs，我們可以看到它的證明比較短，而且有很好的隱私保護，但它比較慢，因此它可能不適用于特別復雜的證明，但是它特別適用于復雜程度中等的交易。我們也用了不少Bulletproofs，比如說交易的時候要隱藏金額，我們就可以用Bulletproofs。但如果要證明他是否有償付能力，就不能用Bulletproofs了。

可以說用Supersonic零知識證明來證明特別復雜的參數，我們可以在幾毫秒之內完成。

這就是Supersonic，可以說這是第一個非常短的，而且不需要可信設置的零知識證明方案。

中等復雜的交易，我們可以用Bulletproofs，而我們現在所使用的Supersonic，不管交易是否復雜，都是適用的。

Tags：區塊鏈LIB比特幣LIBRA區塊鏈運用的技術中不包括哪一項LIBRAF價格比特幣市值多少億美元LIBRAF幣

狗狗幣