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