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

在萬向區塊鏈實驗室舉辦的國際區塊鏈周活動中，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。

約翰·列農兒子關注狗狗幣創始人推特賬戶，曾稱“只有比特幣可以拯救我們”:4月30日消息，搖滾樂隊“披頭士”成員約翰·列儂兒子肖恩·列農關注并訂閱了狗狗幣創始人Billy Markus的推特賬戶，肖恩·列儂從2020年開始支持比特幣，曾稱“只有比特幣可以拯救我們”，不過他從未公開說明自己是否擁有任何加密貨幣。（U.today）[2023/4/30 14:35:44]

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

核心看點：

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

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

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

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

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

在CESC2017大會中的BenediktBünz

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

于佳寧：FTX大崩潰后，我們可以更加信任去中心化:金色財經現場報道，由Coinlive、Beosin和FOMO Pay主辦在新加坡舉行的“在動蕩的行業中討論數字資產的未來”活動中，火大教育校長于佳寧博士發表了第一個主題演講。他就“數字資產的趨勢和周期”這一主題分享了他的觀點。他談到了Web3和元宇宙的黃金時代。Web3是繼Web2（移動互聯網）之后的一個新的“第二曲線”，目前的非連續性創新的窗口期是創新創業的黃金時代。同時，他還列舉了元空間應用的七個要素，包括數字空間和數字建筑、VR/AR和沉浸式體驗、元人（數字人）、NFT和數字藏品、數字身份和化身、CBDC和DeFi以及數字孿生。數字資產是未來智能經濟的基礎，正如移動支付給各行各業帶來了巨大改變，數字資產和區塊鏈有望將信息流、資金流、實物流融為一體，實現“三流合一”。他表示，對他來說，數字資產的前景是積極的，特別是在FTX的大崩潰之后，去中心化的服務將有更大的發展空間，也更值得我們信任。[2022/11/25 20:46:06]

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

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

《時代》雜志最新封面文章：元宇宙將重塑我們的生活:金色財經消息，《時代》雜志發布最新一期封面文章《元宇宙將重塑我們的生活》，文章提到，美國SEC的報告稱，在2022年的前六個月，“Metaverse”這個詞在監管文件中出現了1100多次。而在2021年，僅有260次的提及。文章也提到，元宇宙將使當今數字存在的許多難題變得更加尖銳，例如數據權利、數據安全、錯誤信息和激進化、平臺權力和用戶幸福感。[2022/7/19 2:21:32]

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

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

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

動態 | Square首席執行官：我們愛你，比特幣！:據雅虎財經報道，在Square的財報電話會議結束時，Square首席執行官Jack Dorsey說：“我們愛你，比特幣！（We love you, Bitcoin!）”此舉引發多名加密人士發推評論，并艾特Jack Dorsey后獲得其轉發。例如，Morgan Creek創始人Anthony Pompliano對此剛發推表示，誰能想到，僅用10年時間，就讓上市公司的首席執行官在財報電話會議上說出這番話！據此前消息，Square公布了第二季度收益，比特幣銷售額達到1.25億美元，幾乎是第一季度創紀錄的兩倍。[2019/8/2]

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

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

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

聲音 | 加密經濟學家回擊 Whiteblock：認為 EOS 不是區塊鏈是不理解我們現在做的事:據 IMEOS 報道，加密經濟學家 Ashe Oro 發推表示： Whiteblock 報告認為 “EOS 不是區塊鏈” 是因為他們無法解釋我們目前正在做的事 - 更迅速地出塊，免費的交易。他的 FUD （恐懼、不確定、懷疑）令我感到歡樂。（相信）基于 EOS 我們將會再次獲得自由。[2018/11/5]

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

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

另外值得一提的是在部分場景中需要的多方安全計算，簡寫為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：區塊鏈ARKONINIC為什么要有區塊鏈PolkamarketsLionIsland InuBitcoin Unicorn

波場