10月8日,0x研究團隊正式宣布推出OpenZKP,這是一種完全開源的零知識證明Rust實現,零知識證明技術或者很快就會迎來更加廣泛的應用。在2018
10月8日,0x研究團隊正式宣布推出OpenZKP,這是一種完全開源的零知識證明Rust實現,零知識證明技術或者很快就會迎來更加廣泛的應用。
在2018年末,去中心化交易所協議0x的研究團隊與StarkWare合作創建了一個可擴展DEX的概念驗證項目,名為StarkDEX。整個過程中,開發人員學到了很多東西,并且對ZKP(零知識證明)在DEX可擴展性和性能方面的強大能力更加有信心。
在2019年春季StarkDEX概念驗證結束后,0x的研究團隊決定獨立推進試驗以構建更通用的解決方案,一種符合團隊對開源和去中心化基本信念的解決方案。10月8日,0x研究團隊正式宣布推出OpenZKP,這是一種完全開源的零知識證明Rust實現。
開發團隊創建了一個易于使用的界面,任何人都可以與之交互。而且,它是當今可用的最小量證明中最快的證明實現。詳情可點擊文檔和案例。
開源是0x創建通證化世界使命的核心。為了讓區塊鏈網絡取代傳統金融系統,堆棧的每一層都必須是開放和透明的。從邏輯上講,開源的ZKP實現就是下一步,它對于這些技術的廣泛采用至關重要。與閉源的解決方案相比,OpenZKP擁有以下幾個主要的優點。
首先,任何人都可以為OpenZKP做出貢獻,以0x團隊和其他人的工作為基礎進行開發。零知識證明是一項快速發展的技術,許多專業人士都在研究它。通過盡早的發布以及頻繁的更新,研究人員可以彼此有效地相互學習,一起向前推進。
其次,OpenZKP是可審計的。任何人都可以自己查看代碼并確定它是否存在安全漏洞,這一點至關重要。第三,這一開源實現提供了一種連續性。開發團隊希望0x協議在運行時不受其創建者的影響。只有在所有源代碼都可訪問的情況下,這種情況才會發生。
OpenZKP庫已經可以供開發者使用。開發團隊采用零知識證明中的STARK,因為它擁有一些獨特的特性。最重要的是,STARK有非常快的證明者,特別是對于擁有很多重復性的約束來說,這也是試驗用例的主要瓶頸。STARK的加密安全性非常好,不需要可信的初始設置,并且可以抵御量子計算機的攻擊,數學方面也比某些替代方法更簡單。
在密切相關的系統(例如Aurora)中也有積極的發展。它的主要缺點是它使用一種新的約束語言,目前尚無良好的工具。另一個缺點是,證明(proof)本身比其他一些系統要大,雖然有大約100kB,但仍然很小。(作者:Remco Bloemen)