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