区块只有在多个独立证明得到验证后才会被接受
根据 EIP-8025,区块只有在多个独立证明(目前提议为五个证明中至少三个)得到验证后才会被接受。这既保证了客户端的多样性,又降低了对单一实现的依赖。声明内容如下:
这项工作分为六个子主题:执行见证和客户程序标准化、zkVM-guest API 标准化、CL 集成、证明器基础设施、基准测试和指标以及使用形式化验证的安全性。
除了 L1 层之外,此举还有助于规范执行见证人和 zkVM 接口。这将使已经致力于以太坊区块证明的 Rollup 和证明基础设施提供商受益
頁:
[1]