我們跟Bulletproofs的作者聊了聊零知識證明技術最前沿的進展_SONIC

在萬向區塊鏈實驗室舉辦的國際區塊鏈周活動中，Findora聯合創始人兼首席科學家BenediktBünz在其中一場分論壇中分享了一種全新的零知識證明技術Supersonic。BenediktBünz不僅是Bulletproofs的發明人之一，還是以太坊2.0的密碼學核心組件「可驗證延遲函數」概念的作者之一，所以他是加密貨幣領域非常重要的前沿密碼學研究者，在隱私計算領域更是超一流的專家，當然這與他是斯坦福大學計算機密碼學博士的教育背景密不可分。

以太坊2.0的VDF研究進展

Supersonic是一種新型的零知識證明技術。它代表了一種特定的加密貨幣用戶的需求：匿名，也就是用戶不希望自己的資產和交易記錄被完全公開。零知識證明是滿足這類需求的一種技術的統稱，但是在具體實現上又有非常多的類別，最常見的是zk-SNARK和zk-STARK。

Zcash是zk-SNARKs的首個廣泛應用，可能現在也算是零知識證明最常見和最被熟知的一種。而這個技術的最大問題是證明者和驗證者之間需要一個「初始化可信設置」——這意味著需要一組公共參數來構建zk-SNARKs，也就是可能存在信任問題。所以「初始化可信設置」是其他新技術努力嘗試克服的最核心問題。

后來Bulletproof被BenediktBünz等人提出，相比zk-SNARKs，不需要初始化可信設置，但是驗證成本可能會高一些，但還是遠低于其他技術比如zk-STARKs。在今年，全球密碼學研究人員也陸續提出了各種各樣的零知識證明相關的技術，比如說PLONK、Halo、Sonic、DARKproofs、Supersonic。

Coinbase在華爾街日報刊登整幅版面廣告：“相信我們”:11月18日消息，Coinbase在華爾街日報刊登整幅版面廣告，主題為“相信我們”。

Coinbase表示：數百萬用戶把金錢和信任交付給了配不上這些的人，用戶被利用了，這一切本不該發生。十年以來，Coinbase一直致力于成為最安全、最合規的加密交易平臺。

Coinbase總部位于美國；1:1持有客戶資產；不會進行對客戶不利的交易，也不會在未經同意的情況下使用其資金；提供上市公司所需的透明財務及審計。是的，你可以相信我們。但實際上，你也有懷疑的權利。心懷叵測的人從一開始就一直在花人們辛苦賺得的錢。用戶應該擁有一個去中心化的系統，以至于不必相信Coinbase或其他任何機構。這是加密世界的承諾。用戶唯一需要相信的就是數學。對所有人來說，一切都是透明的、不可篡改的、可驗證的。現在是時候建立一個監管框架，使這一未來成為可能。是時候優化整個加密體系了。[2022/11/18 13:20:41]

鏈聞有幸在上海國際區塊鏈周期間采訪了BenediktBünz博士，聽聽他對于最新的零知識證明技術有哪些看法。采訪內容在不影響原意基礎上有所編輯。

核心看點：

對于最新的零知識證明技術：PLONK、Halo、Sonic、DARKproofs、Supersonic，該如何選擇適合的工具？

除了隱私相關的密碼學算法，還有哪些密碼學工具值得關注？

通用型的多方安全計算MPC平臺是不是能和區塊鏈契合的很好？

RabbitHole：我們的網站需要停機一些時間:金色財經消息，RabbitHole（兔子洞）推特發文稱，我們的網站需要停機一些時間，當我們的系統恢復正常運行時，我們會通知您。[2022/5/23 3:34:26]

以太坊的智能合約設計有哪些問題嗎？

微信是否可以在區塊鏈上重現？

在CESC2017大會中的BenediktBünz

鏈聞：對于零知識證明技術，其實有很多的種類，比如Zcash使用的zk-SNARKs和VitalikButerin經常提到的zk-STARKs。相比之下，您提出的Bulletproofs有什么特點？

BenediktBünz：Bulletproofs更適合在中或低復雜度的交易中使用，但是對于那些非常高復雜度的交易中，驗證過程就會非常耗時。SNARK的優勢是具有很高效的驗證速度，但SNARK最大的問題是需要初始化可信設置。

鏈聞：上個月，兩位研究人員發表了一個名為PLONK的零知識證明論文，試圖優化zk-SNARKs的問題，而且相比另一個名為Sonic的技術有顯著的性能提升，而Sonic又可以和你們提到的DARKproofs結合而成Supersonic，這些技術有些什么樣的關聯？

BenediktBünz：Sonic和PLONK在零知識證明技術的某些方面有一些進展了，雖然他們還是需要進行初始化可信設置的，但這個初始可信設置再也不是專用的了。我們最近發布的DARKProofs算是一種加密學工具，它可以幫助Sonic和PLONK，讓他們變得更好，因為可以移除他們的可信設置。所以我們將Sonic與DarkProof組合的技術稱之為Supersonic，用一句話來說的話，Supersonic是一種無需初始化可信設置的SNARK。

Coinbase CEO：我們正在努力增加容量:Coinbase聯合創始人兼CEO Brian Armstrong通過推特表示，我們正在努力增加容量（包括服務器和客戶支持），以應對不斷增加的流量。[2020/11/18 21:15:02]

所以如果有一個復雜度非常高的交易或需要提供一個證明，Supersonic的驗證將會是非常高效的。而且該證明的體積也非常小，比如說只要10到20kb。雖然沒有Bulletproofs小，但已經非常小了，遠小于STARK這類需要幾百kb的證明。

鏈聞：在本月初，Zcash開發公司的密碼學家作為第一作者發表了一種名為Halo的新技術，Zcash創始人稱該研究發現了「無需信任的」零知識證明遞歸組合，是密碼學「長期以來取得的突破」，可能成為「保護和擴展區塊鏈」的關鍵。對于該技術，您有什么看法？

BenediktBünz：Halo是一種有趣的新技術，他們的論文中還提到了Bulletproofs。但他們并不是一個SNARK，因為還是需要一個可信或不可信的第三方才可以更高效。如果只有一筆交易或一個聲明，那就不算是SNARK了，驗證過程也不會很高效。它只在需要驗證很多不同聲明的時候才會高效，也就是說在批量驗證時的效率會比做單筆驗證效率高，所以沒有體現出SNARK的全部能力。但是Halo依舊是一個有意思的想法，可能有潛力會進一步提升Bulletproofs或其他技術。Halo這種新技術還在發展中，還沒有經過安全上的證明，還有很多工作需要進行，所以目前還不能算是一個無需信任的SNARK。

現場丨中央美術學院副教授陳卓：我們該思考如何讓加密藝術品擁有傳統藝術品特性:金色財經現場報道，10月17日，BCA NFT藝術沙龍于京舉辦，在圓桌討論環節，中央美術學院副教授陳卓表示，如今在藝術領域，用媒介去區分藝術，邊界越發模糊，藝術正在向經典形態向新形態轉變的趨勢，媒介的轉變和社會的變化會推動一波變遷。傳統的藝術品有神秘感，但區塊鏈是透明的，藝術展有儀式感，但線上藝術品會缺少儀式感。我們該思考如何讓加密藝術具備傳統藝術特性。例如藝術收藏的儀式感、藝術品生產過程的創造藝術。[2020/10/17]

鏈聞：既然有這么多的零知識證明的相關研究，那對于項目來說，應該如何選擇這些不同的技術呢？

BenediktBünz：當然了，肯定是要選用最適合的工具滿足特定場景的需求。有些場景中，Bulletproofs非常適用，效率高并且證明可能只需要2kb，但對于其他更復雜的應用場景，Supersonic會更好。其實對于很多特定的應用和場景，通用的工具可能不是很高效，所以我們會花很多時間在探索和優化不同場景中使用更合適并且更高效的算法。

鏈聞：除了以上提到的和零知識證明相關的密碼學算法，還有哪些其他的密碼學工具值得關注？目前你們會把精力放到這些新技術的研發上嗎？

BenediktBünz：還有很多，不過可以提兩個，其中一個是「匿名憑據」。如果系統中用戶存儲了身份信息，類似于護照一樣會有很多數據比如姓名、性別、年齡等等，一般在做KYC的時候會需要使用這類的身份信息。如果用戶參與某個活動的要求是18至22歲，那這個功能就會發揮作用，不需要揭露其他的數據，也不需要揭露用戶的實際年齡，但是可以通過系統證明自己的年齡是否在這個范圍內，所以也可以稱為「選擇性揭露憑據」。這個密碼學工具在金融領域的應用里非常重要。

朱民：我們要打的是5G物聯網之戰和區塊鏈之戰:9月9日消息，清華大學國家金融研究院院長、國際貨幣基金組織（IMF）前副總裁朱民在2020 亞布力論壇夏季高峰會開幕式上作了主題演講。朱民表示：“國際競爭格局變得越來越尖銳，從4G、智能手機走向5G和云計算，我們正好處于這個過渡中，還沒有到5G和云計算，下一仗已經過來了，那就是5G的物聯網，物聯網和區塊鏈技術的發展。現在我們要打的是5G物聯網之戰和區塊鏈之戰，這是未來之戰，是改變整個經濟和整個結構的數字化之戰。所以我們的策略是什么？國家的策略就是在這次疫情中，通過刺激經濟拉動科技，所以要加快新基建。”[2020/9/9]

另外值得一提的是在部分場景中需要的多方安全計算，簡寫為MPC。使用這個工具可以之后，可以實現比如說很多人共同參與一個拍賣，但是沒有人需要泄露自己的拍賣價格。

但我們還是會把目前的精力放在優化目前已經規劃的這些算法，把它們做到更高效。雖然有些項目聲稱使用了非常厲害的技術，但是這些技術可能還不具有實用性，效率低甚至不可擴展。

鏈聞：現在也有一些核心主打通用型的MPC區塊鏈項目，在現階段MPC可以和區塊鏈契合的很好嗎？

BenediktBünz：如果真的想把多方安全計算MPC帶入通用計算領域，「低效」是最需要克服的問題。比如說，在一次計算中可能需要多輪的交互，所有計算的參與者都需要在線，所效率會很低，而且在這種去中心化的場景中，你并不知道計算進行中的對手方是誰。

比如說多個醫院需要共同研究一組的數據，每一方都有自己病人的數據，也知道其他醫院是哪些，它們IP地址是什么。MPC的整個計算過程就是這些參與者互相發送數據，比如量級在MB甚至GB的數據，之后他們就可以得出一個最終的結果，這才是MPC最擅長的場景。這其實和區塊鏈的環境和設定還不太一樣，因為區塊鏈可能會有上千個節點，而且節點之間也互不認識。

鏈聞：作為公認的第一個圖靈完備的區塊鏈項目，以太坊在通用型的智能合約的設計上還有些什么問題嗎？

BenediktBünz：從智能合約實現上來說，以太坊是基于賬戶的系統，合約的語言類似于Javascript，叫做Solidity。出于性能的考慮，我們認為區塊鏈本身并不擅長處理通用的計算，比如說以太坊雖然可以做類似于4+3的運算，通過Solidity語言的處理和計算可以得出結果為7，但這樣做比較愚蠢，因為可能全球上千個礦工都在計算這個題目。所以這類問題我們還不如心算出結果，或者可以通過其他方式計算。所以我們的項目并不會關注在通用計算上。

鏈聞：對于一個專注于金融領域的區塊鏈項目，和通用型公鏈項目有何不同？

BenediktBünz：比如說對于投資基金或借貸平臺，他們對于隱私和透明度都有特殊需求。從透明度來說，因為他們需要符合監管條例，還需要給用戶和監管方顯示他們的償付能力，并可以被審計。金融應用還有隱私的需求，比如說不能公開用戶的余額，公司的商業機密，投資過哪些公司等等。

零知識證明和密碼學非常擅長于平衡隱私和透明的需求。

鏈聞：那在密碼學和共識算法上與其他通用型的公鏈有哪些區別？

BenediktBünz：對于密碼學，從交易角度來看，是需要專注于建立一種平衡的。Zcash為用戶提供了很多隱私特性，但沒有提供可審計性，無法公開其中一部分數據。但比如說在Findora平臺中，資產可以稱之為「智能資產」，可以給這些資產設立一些預設的規則，例如只能將該資產發送給特定國籍的用戶，因為不同國家的監管規定可能不同。每個人都可以看到這些預設的規則被執行了，但是關于轉賬金額、何種資產和轉賬者的信息數據是可以保持隱私不公開的。

而且這些技術都會被模塊化實施，所以可以被不同的共識算法使用。但是我們也會公開的一套共識算法，叫做Finsense。這會是一個基于PoS和聲望系統的共識協議，用來保證如果PoS失敗的話也會有相應的回退機制。

鏈聞：我們知道預言機是一個對于區塊鏈非常重要的工具，可以將鏈下的數據帶到鏈上，這將會極大程度上打開區塊鏈的實際應用場景。那在預言機方案上，你們是如何考慮的？

BenediktBünz：我們一直在積極尋找合作方為我們提供預言機工具。不過我們的數據還是會先聚焦在金融機構和金融業務的需求上，比如說讓經紀商在鏈上發行股票，我們已經有一些合作伙伴會提供這類數據了，他們可以幫助提供很多金融數據和金融資產到Findora區塊鏈上，我相信這些才是我們所需要的預言機和數據。

對于其他應用類的數據，比如說什么天氣數據，或者是運動比賽的數據，這些可能都不是Findora目前需要關注的數據，不過我們的平臺還是可以與其他的預言機工具互操作的。

鏈聞：在中國，微信是一個繞不開的工具，我們是不是可能通過區塊鏈技術搭建一個微信這種平臺，實現聊天、支付、借貸等綜合性場景？

BenediktBünz：或許聊天工具的部分，是發生在其他平臺中，甚至可能不一定是區塊鏈，但是支付和借貸，完全是可以通過區塊鏈實現的。目前中國用戶都在用微信，他們儲存了用戶所有的資產，如果發生了破產那可能就是金融危機了。但是如果將這些業務運行在注重隱私的區塊鏈上，會帶來的好處包括，去中心，無需信任，而且當你轉賬的時候，就不需要將轉賬的信息給任何其他人知道，交易可以很快的被處理。

還有一個很酷的事情是，區塊鏈還可以提供一種標準化和公開的接入方式。如果微信的支付運作在區塊鏈上，哪怕他們是一個中心化的區塊鏈，用戶還是可以基于這些區塊鏈上數據搭建其他App，他們也就不需要微信的許可和API了，所以區塊鏈對于這類標準化是非常有幫助的，相當于給金錢加上了一種開放式的API。

既然是跨場景的應用，可能會和跨鏈技術相關，也就是原子交換和跨鏈協議。以Findora項目為例，Findora本身會有一個公開的網絡，但還可能會有很多小的私密網絡，比如說許可式的網絡。這些私密網絡是可以連接至Findora公鏈的，雖然各條區塊鏈可能采用了不同的共識算法，但還是可以在各條鏈之間轉移資產的，因為我們采用了原子交換技術讓跨鏈更無縫。

撰文/采訪：潘致雄

來源：鏈聞

Tags：區塊鏈ARKSONICDIK區塊鏈的未來發展前景怎么樣MARKGOATGold Sonicmedikey

DOGE