来自 Vitalik 博客的文章:简析二层扩容方案状态通道 、 Plasma 、 Rollups 各自的技术优缺点,着重分析了 Optimistic rollup 和 ZK rollup 的可行性、安全性及应用前景?
zkSync采用PlonK零知识证明系统。在电路设计上,非常巧妙的将交易分割成一个个小的通用处理单元(Operation)。一个Operation对应的证明电路逻辑支持所有可能交易的Operation逻辑。多个有关联的Operation电路组成交易电路。多个交易的电路再组合成区块电路。从而,在固定大小的区块中也能包含不同组合的交易。
在Layer2, Optimistic Rollup通过OVM执行智能合约,并使用“检察”的方式确定Layer2世界状态在Layer1的正确性。Optimistic Rollup的难点也在OVM,需要在EVM的基础上模拟OVM的执行,并判断状态的正确性。目前,Optimistic Rollup的挑战期为7天。也就是说,只有7天前的状态是“确定”的,不会回滚。
zkSync通过zk Rollup协议,实现了L2的转账。zkSync项目非常完整,是学习L2非常好的参考项目。zkSync采用Plonk零知识证明算法向L1证明状态的正确性。Plonk算法是Universal的零知识证明算法,只需要一次可信设置。zkSync电路设计采用Chunk设计,支持不同的区块大小。
这篇文章概述了optimistic rollup:一种使用OVM在二层网网络上启用智能合约的结构。此结构类似于Plasma,但放弃了一些扩展性,以便在二层网络中运行完全通用的智能合约(例如Solidity),同时还享有和一层网络相同的安全性。
PHANTOM在DAG数据结构的区块链上,将中本聪共识进行了泛化,它不需要事先设定出块间隔等限制,因此也接触了中本聪共识对拓展性-安全性的权衡。采用贪心算法,也便于实现,并且安全性也被严格证明了。
OVM 的出现代表着以太坊 L2 的飞跃,因为它不同于变着招 使用 以太坊,它就是以太坊本身的进步。
本文来自PPLabs, PPIO 是为开发者打造的去中心化存储与分发平台,让数据更便宜、更高速、更隐私。官方网站是 https://pp.io。
君士坦丁堡硬升级中引入了一个新操作码 CREATE2 ,它使用新的方式来计算常见的合约地址,让生成的合约地址更具有可控性,通过 CREATE2 可以延伸出很多新的玩法,这篇文章来探讨下,在广义状态通道中的妙用。
前两天写了一篇 用Truffle开发一个链上记事本 ,很多人讲,这样写一条笔记成本该多高呀,这篇我们看看如何把链上记事本智能合约迁移到Loom SDK 搭建的以太坊侧链,在下一篇会介绍如何来用loom.js重写这个DApp。
扫一扫 - 使用登链小程序
114 篇文章,644 学分
383 篇文章,600 学分
67 篇文章,462 学分
118 篇文章,420 学分
156 篇文章,342 学分