零知識證明進入大范圍應用倒計時？0x正式發布OpenZKP_STAR

10月8日，0x研究團隊正式宣布推出OpenZKP，這是一種完全開源的零知識證明Rust實現，零知識證明技術或者很快就會迎來更加廣泛的應用。

在2018年末，去中心化交易所協議0x的研究團隊與StarkWare合作創建了一個可擴展DEX的概念驗證項目，名為StarkDEX。整個過程中，開發人員學到了很多東西，并且對ZKP在DEX可擴展性和性能方面的強大能力更加有信心。

BNB Chain將于年底上線零知識證明擴容方案zkBNB主網:9月8日消息，BNB Chain宣布已于9月2日上線基于零知識證明的擴展解決方案zkBNB測試網，允許開發人員開始構建應用程序，計劃于年底上線主網。BNBChain稱，zkBNB旨在提供更快的交易速度、更快的最終確定性、更低gas費，是BNBChain實現規模化的重大突破。

根據介紹，zkBNB的特點包括：支持快速集成支付和原子交換，利用創新的內置AMM交換和DeFi用例的流動性池，數字資產將在未經許可的情況下自動交易；TPS達到5000-10000；內置NFT市場和API服務；內置域名服務等。[2022/9/8 13:15:41]

在2019年春季StarkDEX概念驗證結束后，0x的研究團隊決定獨立推進試驗以構建更通用的解決方案，一種符合團隊對開源和去中心化基本信念的解決方案。10月8日，0x研究團隊正式宣布推出OpenZKP，這是一種完全開源的零知識證明Rust實現。

聲音 | V神評價MimbleWimble：只有零知識證明 ZK-SNARKs 等全局匿名集，才能真正保證隱私安全:針對 Dragonfly Capital 的分析師 Ivan Bogatyy 發布的關于闡述 MimbleWimble 協議有重大缺陷、Grin 網絡 96% 的交易可被破譯的文章。

以太坊創始人Vitalik在推特回應稱：如果隱私模型設置了一個中等的匿名集，那么它實際上設置了一個小范圍的匿名集。如果隱私模型的匿名集較小，則其匿名集為 1。只有全局匿名集（例如，使用 ZK-SNARKs 技術進行的加密）才真正具有安全性。[2019/11/19]

開發團隊創建了一個易于使用的界面，任何人都可以與之交互。而且，它是當今可用的最小量證明中最快的證明實現。詳情可點擊文檔和案例。

動態 | 0x 協議推出基于零知識證明技術的 StarkDEX 測試版，每秒可處理逾 550 筆交易:去中心化交易協議 0x 宣布推出去中心化交易基礎設施 StarkDEX，并提供了 Alpha 測試版供模擬交易。StarkDEX 由 0x 與零知識證明技術開發公司 StarkWare 合作開發，目的是使用 STARKs 技術突破非監管交易的無形限制，使加密貨幣交易所為用戶提供大規模而無對手風險的交易。0x 表示目前 StarkDEX 每區塊最多可批量處理 8000 筆交易，每秒可處理逾 550 筆交易，手續費成本則降低 200 倍。[2019/6/4]

開源是0x創建通證化世界使命的核心。為了讓區塊鏈網絡取代傳統金融系統，堆棧的每一層都必須是開放和透明的。從邏輯上講，開源的ZKP實現就是下一步，它對于這些技術的廣泛采用至關重要。與閉源的解決方案相比，OpenZKP擁有以下幾個主要的優點。

首先，任何人都可以為OpenZKP做出貢獻，以0x團隊和其他人的工作為基礎進行開發。零知識證明是一項快速發展的技術，許多專業人士都在研究它。通過盡早的發布以及頻繁的更新，研究人員可以彼此有效地相互學習，一起向前推進。其次，OpenZKP是可審計的。任何人都可以自己查看代碼并確定它是否存在安全漏洞，這一點至關重要。第三，這一開源實現提供了一種連續性。開發團隊希望0x協議在運行時不受其創建者的影響。只有在所有源代碼都可訪問的情況下，這種情況才會發生。

OpenZKP庫已經可以供開發者使用。開發團隊采用零知識證明中的STARK，因為它擁有一些獨特的特性。最重要的是，STARK有非常快的證明者，特別是對于擁有很多重復性的約束來說，這也是試驗用例的主要瓶頸。STARK的加密安全性非常好，不需要可信的初始設置，并且可以抵御量子計算機的攻擊，數學方面也比某些替代方法更簡單。在密切相關的系統中也有積極的發展。它的主要缺點是它使用一種新的約束語言，目前尚無良好的工具。另一個缺點是，證明本身比其他一些系統要大，雖然有大約100kB，但仍然很小。

Tags：ARKSTARSTASTARKNOAHARK幣CoreStarterStarCurveStarkMeta

FIL