# Smooth 模块化区块链系列教程(一): 模块化词汇科普

By [wiger.eth](https://paragraph.com/@wiger) · 2022-10-12

---

### 模块化词汇

1.  Application Blockchain Interface (ABCI)：应用程序和区块链之间的接口。即复制引擎（区块链）和状态机（应用程序）之间的接口。允许用任何编程语言，实现应用程序拜占庭容错复制。
    
2.  Blockchain cluster：区块链集群。一组可以通过信任最小化的方式相互通信的区块链，被称作区块链集群。
    
3.  Block header：区块头部。区块头部通常包含区块相关的元数据，比如：交易的 Merkle Tree Root，前一个块的哈希，块高度和时间戳等。
    
4.  Block producer：负责生成区块的全节点。绝大多数链中，矿工承担者出块的角色。对于 Rollup，块的生成者，也被称作定序器，仅使用交易来构建区块，然后将其发布到单独的链上，从而实现共识和数据可用性。
    
5.  Block space：每个区块的容量。区块的容量决定了它的吞吐量。
    
6.  Canonical chain：规范链。一般可以简单理解为主链，比如 ETH L1。
    
7.  Composability：可组合性。区块链上的应用程序，相互读取和写入状态的能力。
    
8.  Cosmos SDK：Cosmos 提供的开发工具包。在 Tendermint 的共识基础上，帮助构建在 PoS L1 上运行的应用程序。
    
9.  Cross-chain interoperability：跨链的交互操作。多条独立的区块链之间，相互通信和交互的能力。
    
10.  Data availability sampling：数据可用性采样。一验证方式，在不用下载整个区块数据的前提下，验证区块的数据是否可以使用。
    
11.  Data availability：数据可用性。指的是在一个区块被提出后，当中的交易数据是否可以被下载。在传统区块链中，全节点需要下载整个区块的数据，来验证数据可用性，这种方法无法扩展。而上文提到的数据可用性采样，允许节点在不下载整个块的情况下验证数据的可用性。
    
12.  Data throughput：数据吞吐量。单位时间内区块链可以处理的数据量。
    
13.  Data withholding attack：数据扣留攻击。当区块生产者发布区块，但不共享用于构建区块的交易数据时，就会发生数据扣留攻击。
    
14.  Dispute resolution：争议的处理和解决。通常用于 Op Rollup 及其欺诈证明机制。Op Rollup 在假设交易是正确的情况下将交易提交到 L1，如果部分节点不同意 Rollup 交易的有效性，他们可以提出争议并生成欺诈证明。
    
15.  Execution environment：执行环境。区块链中处理交易，账户和智能合约的虚拟环境。例如，以太坊虚拟机 EVM 是以太坊的原生执行环境，交易在 EVM 中执行，账户和智能合约也在 EVM 中运行。
    
16.  Fee market：费用市场。区块链中广泛应用的一种市场类型，通常使用拍卖机制，用于防止恶意行为者向网络发送垃圾邮件。
    
17.  Fork：区块链分叉。将一条链分裂为两条链的升级，两条链可能相互兼容，也可能互不兼容。
    
18.  Fork choice rule：分叉选择规则。节点用来正确识别和遵循规范链的算法。BTC 的共识机制中，节点遵循总难度最高的链：挖掘它的工作量最大。在 Cosmos 链使用的共识机制 Tendermint 中，节点遵循具有 ⅔ 权益签名有效区块的链。
    
19.  Full node：区块链全节点。为了完全验证一个块，至少有一个全节点下载该块的数据并检查它是否满足共识。
    
20.  Honest majority assumption：诚实的多数假设。假设绝大多数区块链参与者是诚实的并遵守协议规则。
    
21.  Honest minority assumption：诚实的少数假设。假设只有少数区块链参与者是诚实的并遵守协议规则。
    
22.  Inter-cluster communication：不同集群间的区块链进行通信。集群内通信，采用的是信任最小化桥梁，而集群间通信依赖于诚实的多数假设，以确保资金不会被盗，因此通信不能采用信任最小化桥梁。比如 Ethereum-Polygon 跨链桥，需要 2/3 的委员会成员签署区块。
    
23.  Inter-Blockchain Communication Protocol (IBC)：IBC 是 Cosmos 推出的通用跨链信息传输协议。在保证各个链自治，具有稳定交易处理速度的同时，IBC 让信息和资产跨链更加的去中心化，安全和便捷。
    
24.  Light client：轻客户端。一种仅下载和验证区块头部的节点，依赖于诚实的多数假设，即区块头部包含的状态是有效的。
    
25.  Modular blockchain：模块化区块链。一种仅专注于少数功能而非全部功能的区块链。将 执行层，结算层，数据可用性层和共识层，分离开运行，独立优化的区块链。
    
26.  Optimistic rollup：一种将其区块发布到 L1 的 Rollup 类型，无需任何证明其有效性。L1 收到带有相应签名的区块，并乐观地假设交易是正确的。如果怀疑某个区块无效，则会创建一个争议窗口，在该窗口中可以对该区块进行质疑。
    
27.  Peer to peer network：点对点网络。一种节点相互连接，并且可以直接通信，无需依赖第三方辅助通信的网络。
    
28.  Rollup：一种将区块发布到 L1，来进行共识并确保数据可用性的区块链。
    
29.  Sharding：分片，将区块链从单个链分离为多个链的过程。分片为区块链提供了可扩展性，它允许并行执行事务，节点只需要处理所有交易集合中，其所在子集的交易。
    
30.  Shared security：共享安全。区块链从外部继承的安全性。
    
31.  Slashing：削减。PoS 区块链中采用的一种机制，用于阻止和惩罚恶意行为。
    
32.  Social consensus：社会共识。个人对于更改区块链达成协议的过程。
    
33.  Sovereign application：主权应用。部署在自己的主权区块链上的应用程序。
    
34.  Sovereign blockchain：主权区块链。通过社会共识对链和链上应用进行独立控制的区块链。在模块化的背景下，一个区块链被称之为主权区块链，当且仅当该链有能力在未经其使用的任何底层许可的情况下，通过社会共识进行分叉。
    
35.  Sovereign rollup：主权 Rollup。一种不采用结算层进行有效性验证，且不用结算层来确定规范链的 Rollup。主权 Rollup 的规范链由 Rollup 点对点网络中的节点确定。
    
36.  State transition fraud proof：一种证明状态转换无效的方法。OP Rollup 是一种利用欺诈证明来证明无效状态转换的区块链。由于欺诈证明仅评估是否发生欺诈，因此仅在状态转换存在争议的情况下才需要它们。
    
37.  Synchrony assumption：同步假设。假设网络是同步的，那么当发送消息时，消息将在一定时间内被接收。
    
38.  Throughput：吞吐量，对区块链容量的衡量。吞吐量主要衡量两个要素：数据吞吐量和交易吞吐量。数据吞吐量决定了区块链的数据容量，以 kb/s 或 mb/s 为单位。数据吞吐量与数据可用性层相关，因为它们的主要工作是为数据提供高容量。交易吞吐量衡量区块链的计算能力，通常通过每秒可处理的交易数量 TPS 来计算。
    
39.  The data availability problem：数据可用性问题。一个被提出的块，这个块是否可以被验证，其中的数据是可以被下载读取的。
    
40.  Transaction throughput：交易吞吐量。表示区块链的计算能力，交易吞吐量通常由每秒可处理的事务数 TPS 来表示。
    
41.  Trust-minimized bridge：信任最小化桥梁。两个区块链之间的桥梁，不需要中间人，委员会，或诚实的多数假设来确保资金不会被盗。例如，以太坊和建立在其上的 Rollup 之间的桥梁。
    
42.  Trusted bridge：可信任桥梁。两条区块链之间的桥梁，需要受信任的中介，委员会，或诚实的多数假设，以确保资金不会被盗。可信任桥梁比信任最小化的网桥更容易被利用，因为它为其安全性提供了较弱的保证。例如，BitGo 运营的 WBTC 桥，像 Axelar 这样的基于委员会的桥，或 Osmosis 和 Cosmos Hub 之间的 IBC 桥。
    
43.  Validator：验证器。一个全节点，PoS 链验证器中的一部分。验证器通过对提出的区块进行投票来参与共识，当一个验证器被选为领导者时，他们会向验证器集合，提出并产生区块。
    
44.  Validator set：验证器集合。一组验证者，负责通过投票，产生或提出区块，直接参与区块链的共识。
    
45.  Validity proof：有效性证明。用于证明状态转换的有效性。例如，zk-Rollups 利用有效性证明来证明到 L1 链的有效状态转换，常与 SNARK 和 STARK 等证明系统一起使用。
    
46.  Validium：一种基于零知识证明的 Rollup，将其数据发布到链下而不是其父链。数据发布到的链下环境可以是受信任方委员会或单独的链，例如 Celestia。
    
47.  Volition：一种基于零知识证明的 Rollup，提供链上和链下的数据可用性选项。单笔交易的用户，可以选择将数据发布到链上，父链或链下。链下模式即 Validium，其中数据发布到的单独环境，可能是受信任方委员会，或数据可用性链。
    
48.  zk-Rollup：一种 Rollup 类型，将其块发布到 L1，并带有区块的有效性证明。由于验证了有效性，交易就被认为是最终的，因此不存在质疑 zk-Rollup 块有效性的争议窗口。
    

### 引用

> Celestia Glossary: [https://celestia.org/glossary/](https://celestia.org/glossary/)

---

*Originally published on [wiger.eth](https://paragraph.com/@wiger/smooth)*