为什么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证明基础设施。这种集中式的方法有几个好处：

- 维护更简单，因为项目可以完全控制基础设施。
- 复杂性更低，消除了为多个证明者设计系统或激励的必要。