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

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

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

螞蟻鏈隱私協作平臺AntChain FAIR引入基于零知識證明的可驗證計算技術:7月8日消息，在2023世界人工智能大會全球區塊鏈產業高峰論壇上，螞蟻鏈宣布隱私協作平臺AntChain FAIR進行全新架構升級，引入零知識證明（ZKP）為核心的可驗證計算技術，從可信數據流轉拓展到計算過程、數據屬性以及身份的可驗證。此外螞蟻鏈FAIR在可信計算架構中加入新型零知識證明虛擬機zkWASM，實現指令級別的可證明特性，可以依托 WASM 多語言生態將多種前端語言編寫的算法程序進行證明轉化，而無需關心底層復雜的算法細節，提升開發應用的友好性。

FAIR 是螞蟻鏈面向數據流轉推出的隱私協作平臺，綜合了區塊鏈和隱私計算的優勢，協作流程由智能合約驅動，數據流轉由隱私計算引擎來解決，并通過區塊鏈技術確權，登記和交易共識，可以解決數據流通過程中，數據共享與隱私保護之間的天然矛盾。目前 FAIR 已經在杭數交、貴數所等多家數據交易所得到應用。[2023/7/8 22:25:31]

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

a16z宣布推出使用零知識證明技術的空投領取工具:金色財經報道，加密風投機構a16z在官網宣布推出使用零知識證明技術的空投領取工具，使得加密項目方向活躍貢獻者發放空投時保護貢獻者的地址隱私，特別是根據用戶鏈下活動空投代幣的情況下。

具體而言，潛在的空投接收者可以通過公共渠道（如 Telegram、Discord、Twitter 或 Signal）提供消息（稱為“承諾”）；然后，空投者通過將這些承諾散列在一起，構建一個Merkle樹。隨后，潛在的接受者可以通過提供零知識Merkle證明，證明他們是樹內承諾的作者，而無需透露是哪一個，從而聲稱自己的空投份額。

a16z稱，以這種方式申領代幣將收件人的公共地址與所有其他有權空投的用戶的公共地址混合在一起，從而保護他們的匿名性。[2022/3/28 14:21:12]

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

兩位數學家因對零知識證明的研究獲得數學界大獎阿貝爾獎:據DeepTech深科技消息，近日，備受矚目的數學界大獎阿貝爾獎公布兩名獲獎者，一位是匈牙利數學家拉茲洛?洛瓦茲（László Lovász），一位是以色列計算機科學家阿維?威格森（Avi Wigderson）。兩位數學家因為對零知識證明的研究，而獲此殊榮。曾經讓純數學家看不起的零知識證明，卻獲得了數學界舉足輕重的阿貝爾獎。正如頒獎詞所說：“表彰其在理論計算機科學和離散數學方面做出的杰出貢獻，以及在將之塑造為現代數學中心領域中發揮的主導作用。”零知識證明比起其他復雜算法更為簡單，但這兩位數學家對于零知識證明的研究，不僅對現代數學核心計算有重大貢獻，還有巨大的現實意義：其一，零知識證明對數字貨幣的認證意義重大；其二，零知識證明還可以用于人的身份驗證，即在不透露密碼的前提下，驗證方通過一系列問題來讓對方提供 “我知道正確密碼”，或在信息安全領域，提供 “我就是本人” 的證明。[2021/5/2 21:16:57]

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

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

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

Tags：ZKPARKSTARKOPENZKPEPEbunnypark幣最新消息STARK幣OpenSea

SHIB最新價格