头雁|2025年11月23日 04:32
正好在zk技术社群里看到现场ppt的分享图,简单解释下,
转帖的brevis @brevis_zk 分享的x文,这40秒视频是了 ETH 基金会研究员 @drakefjustin 在 @eth_proofs demo Day上的一个zk技术的demo演示,主要演示Justin的 zkLighthouse 客户端不需要重新执行,即只要验证一个 ZK 证明即可确认ETH整个区块是否执行正确。
这个如果放到了主网上就意味着zk变成了ETH的执行层(节点之间无需重复执行做验证了,只需要验证生成的zk证明即可),zk变成了L1的执行层。(但这个估计离真正主网还有不少时间,26年能出来?
下图应该是分享的部分ppt:
-这是一个 多方 ZK 证明集群
-统一 proof aggregator(http://ethproofs.org)
-gossip 发布网络
-客户端验证器(如 Lighthouse) 的完整流水线
左侧:左边蓝色区域列出了 7 个不同的证明集群提供者,每家都在计算并生成 ZK 证明。每个集群代表一个团队的 prover 包括了 @brevis_zk @SuccinctLabs 等等
中间:http://ethproofs.org(Proof 汇聚节点)
-这是一个 统一 proof 收集器 & 汇总器:
-接收所有 prover 的证明
-将 proof 广播给 gossip 网络
Ethproofs gossip node
这是一个 p2p gossip 层的 proof 转发节点:
1/从 http://ethproofs.org 接收证明
2/通过 gossip 网络传播给所有订阅者
ExecutionProofs subnet
这是一个 专门为 Execution Layer ZK Proofs 设计的子网。
功能是:
1/持续接收 gossip 的 proofs
2/负责分类、去重、确保证明有效
3/对客户端(client)开放订阅接口
4/最终:Justin’s zkLighthouse(客户端验证器)
5/这是一个 修改过的 Lighthouse (ETH 客户端),支持验证 ZK Execution Proof。
它通过:
subscribe → 接收 ExecutionProofs subnet 的证明
local verify → 在客户端本地验证 ZKP
替代或增强现有的 Execution Layer 验证
最终目的:使用 ZKP 证明来验证以太坊区块执行的正确性(即 ZK-EVM for Ethereum Core)
整体流程:
多个 prover 集群并行生产 execution ZK proofs
1/proofs → http://ethproofs.org
2/ethproofs.org → gossip → ExecutionProofs subnet
3/zkLighthouse 客户端订阅 subnet
4/客户端本地验证 ZK proofs
5/完整实现 去中心化、可验证、无需信任的以太坊区块执行证明(头雁)
分享至:
熱門快訊
APP下載
X
Telegram
複製鏈接