为我们的未来重新设计虚拟机

本文将要用一系列的推文来解释以太坊 Casper 共识协定的研究历史/脉络/进展，包括 FFG vs CBC 的争论、混合模型到完全 PoS 的转换、随机性扮演的角色、共识机制的设计考量以及其他议题。

本文简要比较了比特币和以太坊的数据结构。

探索零知识证明系列（三）

Casper FFG 如何运作？以太坊 2.0 如何整合 Casper FFG？

也就是说，情形正变得越来越明朗：Eth2 将越来越依赖于 轻客户端 <-> 服务器市场，哪怕只是出于让用户可以从自己没有同步的 1000 多个分片中获得数据的目的。

一旦所有可并行化部分的吞吐量都达到最大时，串行化部分的吞吐量将成为系统吞吐量的天花板。

千万不要将一笔交易在工作量证明机制中的结算过程简单看作是交易确认数量的函数，而要将它看成是一个类似木材石化一样的缓慢过程。

探索零知识证明系列（二）

粗略看，「证明」是「逻辑」的产物，但「逻辑」与「计算」却又有着密不可分的联系，大家可能模模糊糊感觉到一些关于「证明」与「计算」之间的关联，它们贯穿始终：如机械推理、证明表达、交互计算 。这是一个有趣但更宏大的哲学问题。