为什么说 Arbitrum 植根于以太坊的安全性中,它将如何防御审查攻击
Arbitrum是Layer2 Rollup的一种方案。采用挑战机制确定Rollup状态的终局性。为了引入轻便挑战机制,Arbitrum定义了AVM,一种可以方便证明执行状态的虚拟机,并设计了mini语言和编译器。在AVM上模拟了EVM的执行环境,兼容EVM。挑战时将执行过程进行400分分割,由L1执行少量指令确定状态是否正确。
Arbitrum 不仅继承了 Optimistic Rollup 方案的安全特性,还在挑战期时长和审查攻击上做了考量。
Rollup 将计算转移到链下,从而释放更多链上空间。链上数据可得性很重要,因为它使得以太坊可以复核 Rollup 交易的完整性。反之,审查流程可以检查 Rollup 出块,免去对共识机制的需求。
对比Optimism 和 Arbitrum
简析目前存在的几种 L2 方案
Matter-Labs开源了PLONK算法的验证电路,能实现多个PLONK证明的聚合证明。聚合电路证明某个证明可验证,并且验证使用的VK是正确的。注意的是,PLONK算法验证的最后一步(配对函数)并没有在电路中验证,而是依赖智能合约进行验证。
2021 年 4 月 23 日,The Delphi Podcast 主持人和 Delphi Ventures 基金管理人 Tom Shaughnessy 邀请当前最热门的以太坊 Layer 2 Rollup 扩容项目负责人和知名投资分析师,进行了一场精彩绝伦的辩论。
dYdX 最近推出了基于 ZK-Rollup 模式(即链上数据)下的 StarkEx 可扩展性引擎的永续合约平台。StarkEx 既能为用户提供可扩展性和更低的 gas 成本,又能用来构建更好的系统:实现新的业务逻辑,包括需要依靠 Layer 2 方案降低高昂成本的新功能。
上周我们聊到什么是Rollup?Optimistic Rollup 接着本篇我们再谈谈另一种rollup方案--zk-rollup(ZR)
文章认为 zkPorter 取得了突破性进展。zkPorter 不仅可以实现 20,000+ tps 的吞吐量,而且在安全性上优于 Optimisitc Rollup。
rollup顾名思义,就是把一堆交易卷(rollup)起来变成一个rollup交易,所有节点接收到这个rollup交易之后,不去执行被卷起来的逻辑,而只去接受这些逻辑的执行结果
Layer 2 扩容技术可以帮助以太坊实现性能的跃进,但是退出期的用户体验以及不同 Layer 2 网络之间的流动性割裂的问题是所必须要面对的大考。
scaffold-eth 为optimism 上开发提供一个新的分支 local-optimism 帮助上手optimism DApp 开发
local-optimism
从我们的经验来看,zkSync 有其非常优秀的一面,也有其不足的一面。而其中的很多不足是 Layer2 网络所共有的问题和挑战。
zkSync虽然采用PLONK零知识证明算法,但是电路的搭建开发采用的R1CS形式。zkSync电路处理包括:1/电路转换 2/PLONK证明计算。Transpile实现了电路的格式转换。电路转换的目的是获取:1/sigma函数 2/ 门系数多项式。
各种L2解决方案现状
细说 Arbitrum Rollup 的工作原理
以太坊联合创始人 Vitalik Buterin 「强调 Optimism 和 Offchain Labs 即将在 3 月上线」引发了中国社区对「Rollup 早鸟应用」的关注。让链闻为即将上线的首批兼容 EVM 的 Rollup 应用生态画画重点。
Optimistic Rollup 的安全模型,及其在解决以太坊可扩展性问题上采取的策略。
扫一扫 - 使用登链小程序
41 篇文章,422 学分
72 篇文章,313 学分
29 篇文章,265 学分
157 篇文章,176 学分
20 篇文章,167 学分