以太坊可扩展性:ZK-rollups与ZK-EVM深度解析
在区块链技术的发展中,以太坊的可扩展性一直是备受关注的问题。ZK-rollups作为一种解决方案,为提高以太坊的交易吞吐量提供了有效的途径。同时,ZK-EVM的出现则进一步拓展了其应用范围。下面将详细介绍ZK-rollups和ZK-EVM的相关知识。
1. ZK-rollups概述
ZK-rollups系统由链上L1汇总智能合约和链下虚拟机组成。交易在以太坊第1层完成最终确认和结算,只有当L1汇总合约接受第2层协调器(证明者)提交的有效性证明时,交易才会被结算。这种证明确保了交易的完整性,所有交易都需经第1层批准,从而消除了恶意操作者提交欺诈性交易的风险。
1.1 构建ZK-rollups的技术
构建ZK-rollups主要使用两种技术:ZK-SNARKs和ZK-STARKs。它们的特点对比如下:
| 技术 | 证明大小 | 证明者时间 | 验证者时间 |
| ---- | ---- | ---- | ---- |
| ZK-SNARKs | 小 | 中等 | 小 |
| ZK-STARKs | 大 | 小 | 中等 |
- ZK-STARKs :具有透明性,无需可信设置。证明时间接近线性,验证时间为对数级,设置简洁,最多需要对数级大小。证明大小较大,具有后量子安全性。基于STARK的第2层的典型例子有StarkNet和Polygon Miden。不过,由于证明大小较大,需要更多的调用数据空间(约50KB),验证时需要更多的gas,对用户来说成本更高。而且,STARK基于80位安全性,存在1
超级会员免费看
订阅专栏 解锁全文
13

被折叠的 条评论
为什么被折叠?



