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