以太坊通过零知识证明革新安全性

以太坊正在通过采用零知识证明加速向更安全和私密的区块链过渡(ZK)。

从共识到执行，堆栈的每一层将逐步优化，以利用这一革命性技术。

在创纪录的时间内推出一个L1 zkEVM的挑战

以太坊迈向零知识证明（ZK）的第一步重大进展是L1 zkEVM的部署——一种与ZK证明兼容的以太坊虚拟机的实现。该策略为确保速度和安全，涉及验证者选择客户端，这些客户端不是重新执行执行负载，而是快速验证由各种竞争的zkVM创建的无状态证明。

极其紧凑的证明允许验证者以最少的资源下载和检查交易的有效性，从而使过程更高效、更安全。这种方法利用了客户端多样性作为防御屏障，类似于传统以太坊网络中已经发生的情况。然而，证明的验证最初将在链外进行，利用Glamsterdam中的管道支持，以调整所需的技术时间。

在初始阶段，只有少数验证者会采用零知识证明客户端。安全性将逐步巩固，得到以太坊基金会通过审计、形式验证、漏洞奖励和日益详细的规范的支持。随后，采用将逐步增长。

以太坊、安全性与未来：零知识证明客户端的逐步采用

当合格的多数权益准备使用零知识证明客户端时，以太坊将能够提高燃气限制，消除验证者重新执行所有区块的需要。验证者将只处理通过证明进行的区块验证，从而减少计算负担，促进可扩展性。

此外，可以通过预编译函数EXECUTE使用相同的证明结构，来支持原生零知识证明汇总.

以太坊安全中心的zkVM生态系统

这一策略的一个优势是社区和整个零知识证明zkVM领域的参与(。当前，许多zkVM已经在以太坊主网测试它们的能力，并每周进行改进。

这场竞争与合作承诺将加速性能并强化整个生态系统。

实时证明：定义新的安全标准

为了保持链的历史安全属性、功能和抗审查性，以太坊基金会提出了一个所有 zkVM 团队必须遵循的实时证明标准。最终，每个证明系统必须保证 128 位的安全性：实际上，虽然初始阈值将为 100 位，但目标是随着时间的推移提高这一数值。

为了避免关键点并提高速度，每个证明必须小于300KiB，并且不能依赖于具有可信设置的递归结构。这些限制确保即使是在家庭证明模式下运行的节点——即由家庭的私人质押者管理——也可以参与，而不会面临技术障碍或过高的成本。

家证明：去中心化与零审查

以太坊基金会声明的目标是通过在家庭环境中实现零知识证明的验证，维持高可用性和对审查尝试的抵抗力。通过像EIP-7805)这样的解决方案，待完全实施的交易包含(，家庭证明系统加强了对审查的防御，使任何人都有能力验证区块。

成本、可持续性和能源：让每个人都能获取的证明

在云中执行的证明今天已经触手可及，这要归功于多GPU临时实例。然而，当前的挑战转向优化本地证明。设计标准中需要遵循的主要参数是：

延迟：99%的主网区块最大为10秒

本地资本支出：设备不超过100,000美元

功率：低于10千瓦，这个限制大多数家庭都能轻松达到

开源：代码必须完全开放

安全性：至少 128 位的证明安全性

证明大小：每个区块不超过300KiB

考虑到今天启动一个验证者的最低质押额约为80,000美元，设定的预算仍然是相称和包容的。此外，技术效率应随着时间的推移导致参与网络所需硬件成本的降低。

全球朝着效率和去中心化的竞赛

在当前每个区块12秒的时间间隔和约1.5秒的数据传播时间下，目标明确：zkVM系统必须在实践中证明它们能够在不到10秒的时间内为99%的主网区块生成有效性证明。任何拒绝服务攻击或漏洞都将在未来的更新)硬分叉(中解决，确保在安全性和性能方面的持续进展。

从现在到Devconnect阿根廷，围绕zkVM团队的创新期待不断增长。能够赢得实时家庭证明挑战的主角将成为以太坊基础设施的核心，推动网络朝着真正高效的去中心化发展。

前景与影响：以太坊在零知识证明革命中的中心

零知识证明的采用使以太坊朝着成为隐私、可扩展性和区块链安全领先平台的方向发展。新的共享标准降低了私人和机构验证者的准入门槛，而基金会、开发者与zkVM运营商之间的合作确保了持续改进的良性循环。

监控L1 zkEVM的演变和实时证明的标准意味着密切观察一个准备改变去中心化金融范式的整个行业的发展。

那些打算作为验证者或开发者参与的人应密切关注这一革命的进展。

特别是，零知识卷积代表了一项关键技术，用于提高以太坊的可扩展性，而Chainlink数据馈送增强了Polygon zkEVM上的DeFi和加密创新。

此外，Nil Foundation作为一家以太坊扩展公司，推出了一种以安全为重点的zkEVM。