零知識證明將迎來更加廣泛的應用?0x正式發布OpenZKP
Apatheticco/張詠晴編譯
2019-10-09 17:45

 

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,但仍然很小。

 

本文為巴比特資訊授權刊登,原文標題為「零知識證明進入大範圍應用倒計時?0x正式發布OpenZKP