作者:Chloe
Crypto行業被廣泛關注的零知識證明技術,并非是這幾年剛冒出來的新技術,而是在1980年就被數學家S.Goldwasser、S.Micali及C.Rackoff提出。
零知識證明涉及一系列步驟,可以實現密碼學中的「可用而不可知」。
而區塊鏈有著公開透明、不可篡改等特征,意味著加密投資者的鏈上資產及交易記錄是沒有隱私可言的,于是零知識證明技術被引入了區塊鏈,當中以zk-SNARK和zk-STARK最為關注。
zk-SNARK被項目方采用得最多,zk-STARK則被密碼學專家認為優于ZK-SNARK。那么綜合技術與實際應用,二者誰更優?
zk-SNARK:簡潔+?非交互性
AlessandroChiesa等人在2012年開發了zk-SNARK協議,這是一種簡潔化、非交互式的零知識證明技術,全稱是zero-knowledgesuccinctnon-interactiveargumentsofknowledge,可以拆解成三部分來理解:
零知識證明技術公司Proven完成1580萬美元融資:金色財經報道,Proven是一家提供零知識證明技術以使加密貨幣公司能夠證明償付能力的公司,完成1580萬美元種子輪融資,Framework Ventures領投,Balaji Srinivasan、Roger Chen和Ada Yeo等參投。[2023/3/9 12:52:34]
zero-knowledge:
零知識證明,在不暴露隱私情況下向對方證明一件事情,讓數據「可用而不可知」。
succinct:
簡潔性,要證明的東西占用的空間很小,而且可以快速驗證。
non-interactive:
非交互性,意味著證明者和驗證者之間不需要有交集即可快速地得到驗證結果。
zk-SNARK的簡潔性和非交互性,是相對于傳統的零知識證明方案而言的。
兩位數學家因對零知識證明的研究獲得數學界大獎阿貝爾獎:據DeepTech深科技消息,近日,備受矚目的數學界大獎阿貝爾獎公布兩名獲獎者,一位是匈牙利數學家拉茲洛?洛瓦茲(László Lovász),一位是以色列計算機科學家阿維?威格森(Avi Wigderson)。兩位數學家因為對零知識證明的研究,而獲此殊榮。曾經讓純數學家看不起的零知識證明,卻獲得了數學界舉足輕重的阿貝爾獎。正如頒獎詞所說:“表彰其在理論計算機科學和離散數學方面做出的杰出貢獻,以及在將之塑造為現代數學中心領域中發揮的主導作用。”零知識證明比起其他復雜算法更為簡單,但這兩位數學家對于零知識證明的研究,不僅對現代數學核心計算有重大貢獻,還有巨大的現實意義:其一,零知識證明對數字貨幣的認證意義重大;其二,零知識證明還可以用于人的身份驗證,即在不透露密碼的前提下,驗證方通過一系列問題來讓對方提供 “我知道正確密碼”,或在信息安全領域,提供 “我就是本人” 的證明。[2021/5/2 21:16:57]
簡單來說,傳統方案是交互式證明,即示證者和驗證者之間反復確認,你可以理解為示證者不斷向驗證者詢問“是或不是?”,然后驗證者不斷給出回答,直到最后碰出一個正確答案來,所以效率很低。
動態 | 全新零知識證明論文被IEEE學術會議收錄 或能抵抗量子計算機:由四位研究人員共同發表的論文透明多項式委托及其在零知識證明中的應用被第 41 屆電氣電子工程師學會安全隱私學術會議(IEEE S&P 2020)接受,其作者之一的Yupeng Zhang在推特上公開了該消息,他來自于德克薩斯州農工大學,另外三名作者來自于加州大學伯克利分校,分別是Jiaheng Zhang、Tiancheng Xie和Dawn Song (宋曉冬),宋曉冬教授也是區塊鏈隱私計算平臺Oasis Labs的創始人。據Yupeng Zhang介紹,該論文提出了一個全新且透明的零知識證明機制,可以提供非常快的驗證時間,也不需要可信設置(trusted setup)。論文中介紹到,該零知識證明機制僅使用了輕量級的加密算法比如抗碰撞的哈希函數,所以也可能是量子安全的。[2019/12/26]
zk-SNARK的解決方案則不需要雙方反復確認“是或不是”,而是提前先搞一個「可信初始化」,從而生成公共參考字符串,然后所有的示證者都可以直接訪問它。
動態 | 波場TRON網絡即將進行零知識證明匿名交易公測:據官方最新消息,波場TRON網絡即將進行零知識證明匿名交易公測,現在誠邀社區參與MPC過程,參與者越多,匿名交易越安全。通過參與MPC,用戶可以將貢獻永久的保存在TRON網絡中。參考見原文鏈接。[2019/12/19]
打一個通俗的比方。交互式證明相當于老師要批改每一個考生的每一道考題,效率很低,但正確答案只掌握在老師這邊,基本不存在有人偷答案的情況。
但zk-SNARK直接上傳了正確答案,然后讓考生自己對答案,非常高效,代價是答案有可能被泄露,雖然這個答案系統是經過加密的。
因此針對zk-SNARK容易被泄露的問題,有很多圍繞著提高「答案系統」安全性的解決方案,不同采用zk-SNARK的項目方的方案各有不同。如zCloak錢包是直接把算法以純文本的形式發給用戶,用戶下載到本地去做計算。
zk-STARK:概率證明+緩沖時間
zk-STARK是成立于2017年12月的StarkWare團隊開發的,它是針對zk-SNARK的替代解決方案。研發歷時一年多,經過無數次迭代才徹底搞定,已經到2019年了。
zk-SNARK是提前生成公共參考字符串,用非交互式證明的方式提高了證明效率,但也留下了隱患。zk-STARK雖然是交互式證明,但它是一種巧妙的交互式證明——通過哈希函數碰撞來保證安全性,因此也實現了高效證明。
這個思路直接借鑒自2015年推出的交互式預言機證明技術,簡單來說是先把問題用密碼學的方式打碎,然后驗證者隨機向示證者提出幾個的問題,如果幾輪下來,示證者都給出準確的回答,那么驗證就通過了。
所以zk-STARK同樣也只需要極少的計算資源就可以完成證明,但是它更安全,不存在答案泄露的風險。并且為了進一步確保安全性,還設置了爭議時間延遲來作為緩沖。
??zk-SNARK和zk-STARK的區別
1.透明度
zk-SNARK的公共參考字符串通常由一個小團體來保管,因此有泄露的可能性,從而被惡意利用,如創建虛假證明。
zk-STARK則直接利用生成隨機性的參數來驗證,不需要任何第三方的「答案系統」,因此透明度大幅提高。
2.抗量子計算機攻擊
zk-SNARK未來會輕易被量子計算機暴力破解。當然,量子計算何時到來還是個問題。
zk-STARK采用的是哈希函數碰撞的方法來證明,理論上量子計算機的暴力破解是無效的。
3.可擴展性
zk-SNARK的證明在鏈上更具可擴展性,zk-STARK在純鏈上似乎沒有優勢。
StarkWare官網宣稱是最快的,可能是因為zk-STARK允許鏈下進行大規模計算和存儲,然后在鏈上完成驗證,因此可擴展性顯著提升,而成本顯著降低。
總結
zk-SNARK技術被采用得最多,尤其是在以太坊擴容場景中。zk-SNARK主要是圍繞「隱私保護」去做身份、支付、DeFi、資產證明等各種應用。
zk-STARK雖然也在發展之中,但技術尚不成熟,至少在通用性上受限,所以我們看到大多是圍繞著「可擴展性」去做各種應用。
不過據StarkWare團隊在2022年的說法,已經解決了可擴展性,該把目標瞄準「隱私保護」了,而方式是通過StarkNet的Layer3以及Layer4中以分形分層的方式解決,這似乎與zk-STARK證明系統本身沒有直接關系。
至少就目前而言,大多數以太坊Layer2項目(zkSync、Aztec、Loopring、Scroll等)都采用的是zk-SNARK技術路線,除了通用性上受限,還有一個原因是普遍反饋說zk-STARK的開發難度過大……
當然長遠來看,zk-STARK可承載的運算量更大,可能更有前景。
總的來說,zk-SNARK和zk-STARK的關系,?有些像Optimisticrollups和ZKrollups的關系,前者短期利好,后者長期利好。
作者:SolanaVentures顧問Justin.sol編譯:PANews,Jordan對于Solana來說,2022年是非常重要的一年,既有高峰也有低谷.
1900/1/1 0:00:00不知不覺中,2022年已接近尾聲,告別了世界杯,又沉浸在布洛芬的懷抱里。疫情與現實交織的又一年,各行各業都遭受到了不同程度的打擊.
1900/1/1 0:00:00當地時間周四,美國拜登政府在法庭上指控社交媒體巨頭Meta平臺公司,企圖通過并購的途徑獲得對元宇宙市場的主導權.
1900/1/1 0:00:00以太坊合并之后,以太坊網絡已由PoW切換到了PoS共識機制,PoS培育了一個由參與者組成的質押生態系統,以太坊網絡將由質押32個及以上ETH的驗證者保護,替代之前以太坊礦工的角色.
1900/1/1 0:00:00撰文:《WithoutWeb3HumanityisNotGoingtoMakeIt》byMishadaVinciWeb3分化了互聯網并恢復了用戶的權利,保護了我們的隱私和安全.
1900/1/1 0:00:00原文作者:Jiawei 引子 來源:Flashbots根據以太坊社區給出的定義:MEV是指通過包含/不包含/以及排序區塊中的交易,從區塊生產中提取的超過標準區塊獎勵和Gas費的最大價值.
1900/1/1 0:00:00