一文搞懂「Web3基础设施的关键部分」

简介

随着跨链桥、新一代测试框架和其他加密协议的迅速出现，如何有效地绘制区块链基础设施蓝图，仍然是用户、开发人员和投资者的一个重磅问题。"区块链基础设施 "可以包括从底层网络栈到共识模型/虚拟机中各种不同的产品和服务。在以后的文章中我们也将对构成L1/L2链的各种 "核心 "组件进行更深入的分析（敬请关注！）。在这篇文章中，我们探讨的具体目标是：

1.  提供区块链基础架构其他关键组件的广泛概述。

2. 将这些组件分解成更清晰、更容易理解的子部分。

基础架构图

• Layer-0基础设施
  （1）去中心化云服务（存储、计算、索引）
  （2）节点基础设施（RPC、质押/验证人）
• 中间层
  （1）数据可用性
  （2）通信/消息传输协议
• 区块链开发
  （1）安全和测试
  （2）开发者工具（开箱即用的工具、前/后端库、语言/IDE）

Layer-0基础设施

去中心化云服务

节点基础设施

• 远程过程调用（RPC）是各种类型软件系统的核心功能。

  它们允许一个程序调用或访问另一台计算机上的程序，这特别适用于区块链中，因为区块链必须处理来自不同区域与环境中运行的机器的大量传入请求。像Alchemy、Syndica和Infura这些网络协议就提供这种基础设施作为服务，让开发者专注于高水平的应用开发，而不是专注于涉及中继或路由节点调用的底层机制。Alchemy像许多RPC供应商一样掌握并运营所有的节点，但对于加密货币社区的很多人来说，集中式RPC的危险是显而易见的——它只要引入一个单点故障就可能会危及整个区块链的有效性（即如果Alchemy发生故障，应用程序将无法检索或访问链上数据）。最近也有像Pocket能解决这种问题的去中心化RPC协议兴起，但这种方法的有效性还有待大规模测试来检验。
• 质押/验证人——区块链的安全性依赖于一组分布式节点验证链上的交易，但必须有人实际运行来参与共识的节点。

  在多数情况下，运行节点所需的时间、经济成本与能耗是非常多的，导致许多人选择退出以依靠其他人来承担确保链上安全的责任；然而，这种行为也带来了严重的问题--如果每个人都决定将安全推卸给他人，将会无人来验证。而像P2P和Blockdaemon这样的服务运行基础设施并让经验不足或资金不充足的用户通过集资参与共识。有些人认为这些质押供应商引入了不必要的中心化程度，但另一种情况可能更糟——如果没有这些供应商，运行节点的门槛将对普通网络参与者来说极高，反而可能会导致更高的中心化程度。

中间层

数据可用性

• 预言机（例如Pyth和Chainlink）提供了对链下数据数据流的访问通道，从而使加密网络能够以高可靠与分布式的方式和传统/过时系统以及其他外部信息对接，这包括高质量的金融数据（即资产价格）。这项服务对于将DeFi扩展到交易、借贷、体育博彩、保险等广泛领域中是至关重要的。
• 数据可用性层是专门从事交易排序和向其支持的链提供数据的链。通常情况下，它们为用户提供高概率的确认的数据可用性证明，即所有区块数据已在链上发布。数据可用性证明是保证Rollup排序器的可靠性和降低Rollup交易处理成本的关键。Celestia的数据可用性层就是一个很好的例子。

通信与消息传输协议

• 申请代币的通知

• 允许在钱包内置消息通信

• 关于重要协议更新的公告/通知
• 跟踪关键问题的通知（如DeFi应用的风险指标，安全漏洞）

   

安全与测试

区块链的安全与测试相对来说是一个发展不足的新生事物，但不可否认的是，它对整个生态系统的成功至关重要。区块链应用程序对安全风险特别敏感，由于通常它们直接保障资产的安全，设计或实施中的一点微小失误往往会导致巨大的经济损失。

7种主要的安全和测试方法：

• 单元测试是大多数软件系统的测试套件的核心部分，开发者编写各种有用的单元测试框架来对软件中最小可测试单元进行检查和验证。以太坊上一些流行的包括Waffle和Truffle，Solana链有Anchor测试框架。

• 集成测试关注的是将各种软件模块作为一个群体进行测试，这种测试范式虽在区块链之外被广泛利用，但在区块链开发中也能发挥价值，因为库和高层驱动经常以各种方式与其他低层模块相互作用（例如，一个类型化的库与一组底层智能合约相互作用），所以测试这些模块之间的数据和信息流是至关重要的。

• 审计已经成为区块链开发安全流程的核心部分。在发布智能合约供用户使用之前，协议很大程度上依靠第三方代码审计来检查和验证每一行代码来确保最高程度的安全。Trail of Bits、Open Zeppelin和Quantstamp是合约代码审计中几个值得信赖的团队（审计服务市场需求很大以至于等待时间往往长达几个月）。

• 形式化验证是关于检查一个程序或软件组件是否满足某组属性。通常情况下，有人会写一份产品规范来详细阐述程序应该如何运行，形式化验证框架会把该规范形成一组约束条件后进行处理和检查。Certora算是一个领军项目，其利用形式化验证以及运行时验证来加强智能合约的安全性。

• 模拟——长期以来，量化交易公司一直使用基于Agent的仿真系统来回测算法交易策略，鉴于区块链测试的高成本，模拟则提供了一种测试各种假设和输入的方法。Chaos Labs和Guantlet就是利用基于场景的模拟来保障区块链协议平台的典型范例。

• 漏洞悬赏——漏洞悬赏有助于利用区块链的去中心化理念来解决大规模的安全问题。Token代币奖励激励社区成员和黑客来报告和修复关键问题。因此，悬赏计划在把 "灰帽子 "变成 "白帽子"方面发挥了独特的作用（即把参与黑客攻击以获取资金的人变成解决漏洞和保障协议安全的人）。事实上，Wormhole现在在Immunefi上有一个价值高达1000万美元的bug赏金 (有史以来最大的软件漏洞赏金之一），我们也鼓励所有人为网络安全事业贡献一份力！

• 测试网（testnet）——测试网提供了与主网具有相同的运行环境和相似的工作原理的demo，允许开发者在开发环境中测试和调试参数。很多测试网络使用PoA共识机制或其他共识机制能以较少的验证人来优化交易速度，因为测试网上的货币也没有实际价值，所以测试网没有任何程序能让用户通过挖矿获得代币，而是通过水龙头获得。同时也有许多测试网建立的目的是模拟主网L1的行为（例如以太坊的Rinkeby、Kovan、Ropsten测试网）。

以上每种方案都有自己的优点和缺点，当然它们之间并不是相互排斥的，而是通常针对项目开发的不同阶段来使用相应的测试方案。