一文轻松看懂什么是拉格朗日ZK Prover网络

Lagrange ZK Prover是什么？本文以非常简单的方式解释说明，让你一目了然。

Lagrange的Prover网络是加密行业的首个生产就绪的ZK Prover网络。ZK Prover是负责创建计算证明的组件。你们应该都已经知道什么是ZK证明了，每个ZK应用程序都需要有人生成计算证明。

“生成计算证明的是什么人？”

答案是prover，即一个专门用来创建ZK证明的程序。你可以把prover想象成一个专门做草莓蛋糕的烘焙师。就prover而言，它是专门生成ZK证明的。

“你说过prover网络。”

完全正确。Lagrange提供了一个去中心化prover网络，或者说是包含多个prover的prover群组，如果你喜欢这么说的话。任何应用程序都可以使用prover网络来生成证明。为了实现这一点，Lagrange利用了EigenLayer再质押和网关。

“稍等一下……”

有了EigenLayer，Lagrange ZK Prover网络将具有与以太坊相同的安全级别。简单地说，任何想要生成证明的人都必须承诺正确且快速地完成证明生成，否则他们将失去一部分再质押ETH。

“那么他们就是prover了？”

完全正确。生成证明的prover是EigenLayer的操作员。他们为赚取奖励生成证明，并出资来保证他们将正确完成任务。一点不难。

“那么网关又是什么？”

你可以把网关想象成麦当劳的经理。他们接收客户的订单并将其提交给厨房。类似地，网关接收生成证明的请求，将其组织成任务，然后分发给prover。

“然后呢？”

一旦订单就绪，经理就会交货并收取客户的钱款。类似地，对于ZK Prover来说，一旦证明生成，它就会被发送回提出请求的应用程序，然后Prover将获取费用。

“谁用这个？”

第一个网关，即ZK证明网络的第一个消费者，将是Lagrange自己的ZK协处理器。

总结：Lagrange ZK Prover网络专用于为应用程序安全地生成ZK证明。证明请求由网关处理，网关要求Prover——EigenLayer操作员——生成证明。