词汇表

A

Application-specific rollup

Application-specific rollup是一种专有的Rollup，通常只为一个应用程序提供服务。开发人员可以专注于应用程序而不是部署链。除了为应用程序带来出色的用户体验外，还可以定制某些特殊功能，例如Opside提供应用程序的0 gas能力。

B

Block

一个按顺序排列的交易列表和与链相关的元数据被捆绑在一起，并发布到数据可用性（DA）层。节点执行块内包含的交易来改变Rollup链的状态。协议规则规定了什么构成有效的块，无效的块将被跳过。

Batch

执行层顺序处理程序收集已执行的交易相关数据，并将其存储在基础层以确保安全性。数据批处理的频率由顺序处理程序决定，但可能受底层协议的强制执行。

C

Client

有时被互换地标记为“节点”，它们负责处理交易并管理Rollup的状态。它们根据Rollup的虚拟机和协议规则为每个交易运行计算。如果与以太坊客户端进行比较，这些将是执行客户端，例如Geth，与共识客户端相对应。

Consensus

就区块链的最新和正确状态达成一致意见。与L1区块链通过共识规则协调参与节点不同，Rollup依赖于L1来通过检查部署在其中的Rollup智能合约的状态来达成共识。

D

Deposit Contract

在L1上部署的智能合约中，可以将存款合约视为从Opside账户向权益证明验证者账户的资金转移。它指定了谁在进行质押，谁在进行验证，质押了多少金额，以及谁可以提取资金。

Data Availability

区块提议者必须发布所有的数据，任何人都可以检测到交易。

E

Epoch

1个Epoch= 32个Slots

代表了32个Slots的数量，大约需要6.4分钟的时间。

F

Fraud Proof

欺诈证明表明状态转换是无效的。这通过在链上重放导致状态转换的交易，并将产生的状态根与顺序处理程序发布的状态根进行比较来证明。如果状态根不匹配，则欺诈证明成功，状态转换将被取消。

M

Miner

矿工是参与加密货币交易的角色，同时在创建新的加密货币和验证区块链上的交易中发挥着关键作用。矿工将新的区块添加到现有的链上，并确保这些添加是准确的。 对于Opside来说，矿工是向L1层提交零知识证明（Zero-Knowledge Proof）的参与者。

N

Node

一个参与网络的软件客户端。

O

Optimistic rollup

一种通过乐观地更新状态的Rollup，有可能生成欺诈证明来撤销错误的状态转换。到目前为止，乐观Rollup主要是与EVM兼容的。与ZK-Rollups相比，乐观Rollups的最终性需要更长的时间，因为在一个时间窗口（挑战期）内，任何人都可以通过计算欺诈证明来质疑Rollup交易的结果。

P

Prover

一个生成加密证明的实体，以使验证者相信该陈述是真实的（而不揭示其输入）。在ZK-Rollup中，证明者生成ZK（有效性）证明并提交给验证者合约。如果在乐观Rollup的上下文中使用，证明者生成欺诈证明来表明提交了错误的状态。

R

Rollup

Rollups是多个扩展系统之一，它们是一种简单的方法，可以使慢速的区块链更快速和更便宜。

RaaS

一个允许任何人快速启动Rollups的SDK或服务。

S

Slash

惩罚（Slashing）有两个目的：（1）使攻击网络变得代价高昂，（2）通过检查验证者是否履行其职责，防止其懒惰。如果你因为以可证明的破坏性方式行事而被惩罚，你的一部分持币将被销毁。如果你被惩罚，你将被阻止进一步参与协议，并被强制退出。

Slot

32 Slots = 1 Epoch

在每个时期的12秒时间内，随机选择一个验证者有时间来提议一个区块。每个Slot可能有一个区块，也可能没有。总的验证者数量被分成多个委员会，每个Slot由一个或多个独立的委员会负责认证。委员会中的一个验证者将被选择为聚合者（aggregator），而其他127个验证者将进行认证。每个Epoch结束后，验证者将被重新混合和合并到新的委员会中。 每个委员会至少有128个验证者。

Sequencer

负责在Rollup上排序和执行交易的一方被称为序列化者（sequencer）。序列化者验证交易，将数据压缩为一个区块，并将批处理作为单个事务提交给Opside L1。

V

Validator

区块链系统中的一个节点负责处理交易，并将新的区块添加到区块链中或进行验证。

Validator Key

如下所示，验证者签名密钥包括两个元素：

• 验证者的私钥

• 验证者的公钥

验证者私钥的目的是主动对链上（ETH2）的操作进行签名，例如区块提议和认证。因此，这些密钥必须保存在热钱包中。

验证者公钥包含在存款数据中，使ETH2能够识别验证者。

Validity proof

密码学证明系统的输出，证明计算的正确性。ZK-Rollups使用简洁的有效性证明（也称为零知识证明）来证明一批Rollup交易和块已经正确执行。有效性证明被提交给验证者，比如以太坊智能合约，如果构造正确，则接受这些证明。

W

Withdraw Credencial

提款凭证（Withdrawal Credentials）是存款中的一个32字节字段，用于验证有效提款的目的地。目前有两种类型的提款：BLS提款和Opside地址提款。

1. BLS提款：默认情况下，deposit-cli会通过EIP2334格式中的助记词派生提款密钥来生成提款凭证。

2. Opside地址提款：如果您想在上海/卡佩拉升级后提款到您的执行钱包地址，可以在运行deposit-cli时设置--opside_withdrawal_address <YOUR IDE ADDRESS> 。请确保您对此地址的密钥拥有控制权。

Z

ZK-Rollup

Rollup是一种使用零知识证明（也经常称为有效性证明）来验证状态转换函数的正确性并更新Rollup状态的方法。这是两种主要的Rollup构建方式之一，另一种是乐观Rollup（optimistic rollups）。一般来说，ZK-Rollups并不具备保护隐私的特性；保护隐私的ZK-Rollups有时被称为ZK-ZK-Rollups。