爲什麼ZK是終極解決方案？讓我們從@gevulot_network的角度來探討一下[是的，Gevulot Devnet現在已經上線！]

特別感謝：@teemupai @NorbertVadas @HeslinKim @niluokay @Henrixbor

Gevulot：一個用於去中心化ZK證明系統的Layer 1區塊鏈

在這個討論中，我們將首先概述ZK證明者，然後深入探討去中心化ZK證明者解決方案和Gevulot。整個討論分爲四個主要部分：

- ZK的簡要介紹
- 集中化證明基礎設施
- 去中心化證明基礎設施
- Gevulot

我們將首先解釋集中化證明基礎設施中存在的挑戰，這將引導我們嘗試去中心化這些基礎設施。最後，我們將介紹Gevulot，這是一個有趣的去中心化證明者解決方案，作爲一種專門爲去中心化ZK證明系統設計的Layer 1區塊鏈。

1/
ZK的簡要介紹

零知識證明涉及兩個參與方：證明者和驗證者。證明者的目標是在不透露任何關於聲明本身的信息的情況下，說服驗證者相信某個聲明的真實性。構建一個能夠驗證聲明正確性的證明需要大量的計算資源。然而，ZKP的優勢在於證明既簡潔又高效，驗證起來比直接計算聲明本身要更有效。

2/
零知識在區塊鏈中的應用主要基於其簡潔性、可擴展性、信任最小化、完整性和隱私。例如：
- Zk-rollups利用零知識進行擴展，因爲驗證一個證明比重新執行所有狀態轉換更有效。

- 像Mina Protocol這樣的遞歸區塊鏈通過遞歸壓縮區塊鏈的狀態來利用零知識證明的簡潔性，而不損害其完整性。

- ZK橋使用ZK證明以信任最小化的方式實現跨鏈交互。

- ZK證明被用於像Zcash、Aztec、Aleo、Ironfish等項目中的隱私保護。

3/
集中式證明基礎設施

我們來關注一下ZK rollups，這是一種利用零知識證明的知名解決方案。一般來說，大多數ZK rollups依賴於一個集中式的證明者，依靠單一實體來管理基礎的ZK證明基礎設施。這種集中式的方法有幾個好處：

- 維護更簡單，因爲項目可以完全控制基礎設施。
- 複雜性更低，消除了爲多個證明者設計系統或激勵的必要。