以太坊证明服务(EAS)(@eas_eth) 已成为结构化声明的通用、无权限注册表。 缺少的是 EAS 和我们已经拥有的专门验证引擎之间的标准化层,例如用于去中心化仲裁的 Kleros、UMA 的乐观预言机、零知识证明验证器等。 我提议社区探索一个新的 EIP,建立一个围绕两个核心概念构建的可验证证明协议: 证明路由器 – 一个标准化的链上合约(可以实现为 EAS 解析器),能够聚合和路由来自多个来源的证明。路由器的逻辑将由每个任务提供的机器可读的验证规范驱动。 模块化验证处理器 – 一个可插拔验证模块的通用接口,无论是人驱动的(Kleros、UMA)、加密的(ZK 证明验证器)还是数据驱动的(物联网预言机数据)。 EAS 已经提供了通用账本。Kleros、UMA、ZK 验证器和 DONs 已经成熟,可以作为验证模块。一个标准化的证明路由器 + 处理器接口将把这些部分连接成一个连贯的“真相层”,用于客观和主观验证。
8.78K