以太坊中的 ZK-Rollup

Taiko 开发环境

Taiko 合约解析

使用 solidity 静态分析器规范 solidity 代码

编写可升级的智能合约

翻译自 on-settlement-finality，以下是原文内容： 特别感谢 Tim Swanson 的审阅，以及他原始论文中关于结算最终性的进一步讨论。 最近，公共区块链和许可区块链支持者之间的主要争议之一是结算最终性(Settlement Finality)的问题。中心化系统至少看起来有一个简单的属性，那就是“最终性(finality)”的概念：一旦一个操作完成，这个操作就永远完成了，而且系统没有办法“回滚”恢复这个操作。去中心化系统，根据其设计的具体性质可以提供这种属性，也可以在某些经济范围内以概率方式提供，或者根本不提供，当然，公共区块链和许可区块链在这方面的表现非常不同。 这种最终性的概念在金融业尤其重要，在金融业，机...

以太坊 Gasper 共识机制

常见的密码学概念

密码学承诺

数据可用性导致的扩容瓶颈 现状 当前以太坊 L2 大多以 Rollups 为基本的技术路线，Vitalik 更是将以太坊的更新用 “a rollup-centric roadmap” 描述（注意上图中的 the surge 阶段），可见 Rollup 基本已经一统 L2 江湖。 而 Rollup 运行的基本原理，是将一捆交易在以太坊主链外执行，执行完后将执行结果和交易数据本身经过压缩后发回到 L1 上，以便其他人去验证交易结果的正确性。 我们看一笔 rollup 交易包含哪些开销： 执行开销 （网络中所有节点执行交易并且验证其有效性的开销） 存储/状态开销 （使用新的值更新区块链 “数据库” 的开销） 数据可用性开销 （将数据发布...