暂无介绍
本文意在讲解 StarkEX 为支持快速取款(Fast Withdrawel)(在一个区块时间内从 Layer-2 中取款到任意 Layer-1 地址)而提出的解决方案。本方案的优点在于,其速度完全独立于 L2 的运营者生成有效性证明的速度。
本文旨在向初学者解释何为 Layer2,因此难免会牺牲一定的完整性和严密性,让读者在基础的水平上更好地理解文章。
Layer 2 解决方案 Optimism 将如何提高以太坊的吞吐量
以太坊 Layer 2 即将在本月进入一个新的阶段,基于 Rollup 技术的 Optimism 网络将正式在主网上推出,Offchain Labs 的 Arbitrum 方案最快也会在本月或下个月推出。
从我们的经验来看,zkSync 有其非常优秀的一面,也有其不足的一面。而其中的很多不足是 Layer2 网络所共有的问题和挑战。
zkSync虽然采用PLONK零知识证明算法,但是电路的搭建开发采用的R1CS形式。zkSync电路处理包括:1/电路转换 2/PLONK证明计算。Transpile实现了电路的格式转换。电路转换的目的是获取:1/sigma函数 2/ 门系数多项式。
虽然我们准备在接下来的几年大规模升级至以太坊 2.0,但是过去的几年来,Layer 2 方案在不断发展,Rollup 成为继状态通道和 Plasma 之后的新秀。
zkSync采用PlonK零知识证明系统。在电路设计上,非常巧妙的将交易分割成一个个小的通用处理单元(Operation)。一个Operation对应的证明电路逻辑支持所有可能交易的Operation逻辑。多个有关联的Operation电路组成交易电路。多个交易的电路再组合成区块电路。从而,在固定大小的区块中也能包含不同组合的交易。
在Layer2, Optimistic Rollup通过OVM执行智能合约,并使用“检察”的方式确定Layer2世界状态在Layer1的正确性。Optimistic Rollup的难点也在OVM,需要在EVM的基础上模拟OVM的执行,并判断状态的正确性。目前,Optimistic Rollup的挑战期为7天。也就是说,只有7天前的状态是“确定”的,不会回滚。
随着走向成熟的以太坊 Layer-2 解决方案多了起来,ENS 也要能为整个生态系统提供服务,同时让 ENS 用户能够获得 Layer-2 解决方案给他们带来的效率提升。
zkSync通过zk Rollup协议,实现了L2的转账。zkSync项目非常完整,是学习L2非常好的参考项目。zkSync采用Plonk零知识证明算法向L1证明状态的正确性。Plonk算法是Universal的零知识证明算法,只需要一次可信设置。zkSync电路设计采用Chunk设计,支持不同的区块大小。
以隐私性为核心的 Layer 2 网络 Aztec 2.0
Offchain Labs 在以太坊的Kovan测试网络上发布 全新的Arbitrum Rollup测试网
OR 面临两难困境:它无法达到 ZK-Rollup 那样的资本效率,因为这会降低其安全性。这是 OR 的固有问题,而非设计细节问题。
Zkopru利用零知识证明在以太坊上实现layer2隐私交易的新方案
2243 回答,2136赞同
0 回答,827赞同
0 回答,110赞同
0 回答,76赞同
0 回答,70赞同
1 回答,53赞同
5 回答,43赞同
0 回答,41赞同
0 回答,30赞同
0 回答,22赞同