什么是区块链以及它们如何扩展当前的计算范式？ 区块链（名词）：一种协调机器，使来自世界各地的参与者能够沿着一组共同商定的规则进行协作，而无需任何第三方的协助。 计算机的设计目的是做三件事：存储数据、计算以及彼此之间和人类之间的通信。区块链增加了第四个维度：额外保证这三件事（存储、计算和通信）以商定的方式发生。这些保证使得陌生人之间的合作无需受信任的第三方来促进（去中心化）。 这些额外的保证可以是经济的（信任博弈论和激励/抑制）或加密的 （信任数学），但大多数应用程序利用两者的组合 –加密经济。这与当前主要基于声誉的系统的现状形成鲜明对比。  虽然 Web3 通常被描述为“读、写、拥有”，但我们认为，互联网第三次迭代的更好概念是“读、写、验证”，因为公共区块链的主要好处是保证计算和轻松验证这些保证得到兑现。如果我们构建可以购买、出售和控制的数字工件，那么所有权就可以成为有保证的计算的一个子集。然而，区块链的许多用例受益于有保证的计算，但不直接涉及所有权。例如，如果您在完全链上游戏中的生命值是 77/100 – 您是否拥有该生命值，或者它只是根据共同商定的规则在链上强制执行？我们会争论后者，但克里斯·迪克森可能不同意。 Web3 = 读、写、验证 ZK 和模块化——两个将加速发展的趋势 区块链提供了很多令人兴奋的东西，但去中心化模型也通过 P2P 消息传递和共识等附加功能增加了开销和效率低下。此外，大多数区块链仍然通过重新执行来验证正确的状态转换，这意味着网络上的每个节点都必须重新执行交易以验证提议的状态转换的正确性。这是一种浪费，与只有一个实体执行的集中式模型形成鲜明对比。虽然去中心化系统总是包含一些开销和复制，但目标应该是在效率方面逐渐接近中心化基准。 尽管底层基础设施在过去十年中得到了显着改善，但在区块链能够处理互联网级别的规模之前，还有很多工作要做。我们看到了沿着两个主轴（表现力和硬度）的权衡，并相信模块化可以在 ZK 扩展它的同时，沿着权衡前沿进行更快的实验： 表现力- 您可以对什么做出保证？包含可扩展性（成本、延迟、吞吐量等）、隐私（或信息流管理）、可编程性和可组合性。  硬度——这些保证有多困难？包含安全性、去中心化以及用户和代码安全。