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

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

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

本文旨在通过案例研究来探索是否能在 “非常安全” 和 “足够安全” 之间划出界限。

我们正迈入一个崭新的时代，密码学货币有望在全球市场中发挥关键作用，传统的身份识别方法现在已经陷入瓶颈。

开发者如何最小化开销

data availability（数据可用性） 跟 fraud proof （欺诈证明）对于区块链交易量扩展，是很重要的两项因素。

所有 Layer 2 解决方案的核心思路都是让多个参与方通过某种方式实现安全交互，无需将交易发布在主链（即 Layer 1）上，不过在某种程度上还是要利用主链作为仲裁方来确保其安全性。

这篇文章的主要内容是介绍一种让以太坊 1.0 和 2.0 链双向耦合的方案，让信标链为 1.0 链提供最终确定性。熟悉 FFG 的读者可以从中看出 FFG 的深深的影子。

用简单的语言解释区块链技术