今年,零知識證明(ZK-proofs)在加密社區中獲得了關注,但該領域之外的其他人,甚至是程序員,可能會感到困惑。
儘管表面上如此,但 ZK 證明卻非常複雜。它們讓證明者能夠輕鬆地向驗證者展示其知道一些事情,而無需真正告訴驗證者任何信息。在這種情況下,證明者沒有義務透露詳細信息。
這一概念最早由一小羣學者在 20 世紀 80 年代中期提出。如今,它已成爲一種實用的可驗證計算方法,併爲以零知識證明爲核心的 Web3 環境鋪平了道路。
區塊鏈中的 ZK:它的演進功能
ZK 證明一直是理論密碼學的一部分,但區塊鏈技術的去中心化使它們走到了最前沿。區塊鏈其實只是一個分散式帳本系統。每筆交易的每一個細節都會被記錄並公開。
儘管區塊鏈技術促進了開放性,但保護用戶資料仍然是一個重要議題。
區塊鏈隱私開放問題可以使用 ZK 證明來解決。在保護用戶匿名性和區塊鏈的不變性的同時,他們在不洩露任何相關資料的情況下驗證交易。
過去十年,Web3 上 ZK 證明的一個重要用例是可驗證的鏈下運算,這是一種區塊鏈創新。
努力解決可擴展性問題
在我們談論可驗證的鏈下計算有多重要之前,我們先來談談智能合約如何具有非常嚴格的限制。智能合約有三個不容忽視的大問題:
智能合約可以獲得的資料類型有限。任何沒有保存在區塊鏈上的東西,例如代幣價格,他們都無法獲得。
區塊鏈並不是為了保存大量資訊而設計的。這將花費大量資金並且需要很長時間才能實現。
當天然氣價格非常低時,智慧合約可以使用的條件邏輯類型有限。
為了使區塊鏈能夠發展以滿足Web3生態系統的需求,必須解決這些問題。幸運的是,ZK 與 Web3 一起擴展。
透過從區塊鏈中刪除一些資料和處理任務,我們可以優雅地解決網路的運算和儲存限制。
自從大眾知道可以進行鏈下操作並且可以利用 ZK 證明將這些鏈下操作的簡明可靠的摘要傳輸到主鏈以來,區塊鏈技術已經不斷發展,同時保留了底層的資訊資料私有。
綜合考慮,ZK 的下一代
儘管去中心化儲存和 ZK-rollups 上的 ZK 證明擴展了區塊鏈的可能性,但仍然缺少一些重要的東西。存在比預期更多的去中心化儲存選項。
資料儲存至關重要,但這些平台只能檢索資料(而不是「計算」),限制了它們的相關性。即使是運行許多計算工作負載的 ZK-rollups 也無濟於事。