Risc zero 发布了Zeth , 可以用于证明以太坊区块的有效性，而不需要依赖验证者或sync committess, Zeth实现的验证包括：
- 验证交易的签名；
- 验证账户和存储状态的有效性；
- 应用交易；
- 支付区块奖励；
- 更新状态根。
最终Zeth 通过生成一个ZK 证明验证区块的有效性。
Zeth 主要基于Risc Zero zkVM 和 Bonsai 证明服务， 可以几分钟内完成证明。
根据Vatalik的分类， Zeth 可以认为是Type 0类型的zkEVM.
Zeth不仅对于zkRollups, zkEVM, 还能有效用在轻客户端，跨链桥方面。
Zeth 通过continuations将所证明的程序分为segments, 实现递归组合证明，以并行方式提升证明速度。
参考
https://www.risczero.com/news/zeth-release
