区块
上次编辑: , Invalid DateTime
区块是指一批交易的组合,并且包含链中上一个区块的哈希。 这将区块连接在一起(成为一个链),因为哈希是从区块数据中加密得出的。 这可以防止欺诈,因为以前的任何区块中的任何改变都会使后续所有区块无效,而且所有哈希都会改变,所有运行区块链的人都会注意到。
前提条件
区块是一个对初学者非常友好的主题。 为了帮助您更好地理解这个页面,我们建议您先阅读帐户、交易和我们的以太坊简介。
为什么要有区块?
为了确保以太坊网络上的所有参与者保持同步状态并就交易的确切历史达成共识,我们将交易分为多个区块。 这意味着同时有数十个(甚至数百个)交易被提交、达成一致并同步。
(opens in a new tab)
示意图节选自以太坊虚拟机图解(opens in a new tab)
通过间隔提交,所有网络参与者有足够时间达成共识:即使交易请求每秒发生数十次,但以太坊上的区块仅仅大约每十二秒创建并提交一次。
区块如何工作
为了保存交易历史,区块被严格排序(创建的每个新区块都包含一个其父块的引用),区块内的交易也严格排序。 除极少数情况外,在任何特定时间,网络上的所有参与者都同意区块的确切数目和历史, 并且正在努力将当前的活动交易请求分批到下一个区块。
某位验证者在网络上构建完区块后,区块将传播到整个网络;所有节点都将该区块添加至其区块链的末尾,然后挑选新的验证者来创建下一个区块。 目前,确切的区块构建过程和提交/共识过程由以太坊的“权益证明”协议规定。
权益证明协议
权益证明是指:
- 验证节点必须向存款合约中质押 32 个以太币,作为抵押品防止发生不良行为。 这有助于保护网络,因为如果发生不诚实活动 且可以证实,部分甚至全部质押金额将被销毁。
- 在每个时隙(12 秒的时间间隔)中,会随机选择一个验证者作为区块提议者。 他们将交易打包并执行,然后确定一个新的“状态”。 他们将这些信息包装到一个区块中并传送给其他验证者。
- 其他获悉新区块的验证者再次执行区块中包含的交易,确定他们同意对全局状态提出的修改。 假设该区块是有效的,验证者就将该区块添加进各自的数据库。
- 如果验证者获悉在同一时隙内有两个冲突区块,他们会使用自己的分叉选择算法选择获得最多质押以太币支持的那一个区块。
区块包含什么?
一个区块中包含很多信息。 区块的最高层包含以下字段:
1slot:区块所属的时隙2proposer_index:提出区块的验证者的 ID3parent_root:前一个区块的哈希4state_root:状态对象的根哈希5body:包含一些字段的对象,定义如下6
区块的 body
包含一些自有字段:
1randao_reveal:用于选择下一个区块提议者的值2eth1_data:有关存款合约的信息3graffiti:用于标记区块的任意数据4proposer_slashings:将要受到惩罚的验证者的列表5attester_slashings:将要受到惩罚的验证者的列表6attestations:支持当前区块的认证列表7deposits:存入存款合约中的新存款的列表8voluntary_exits:将要退出网络的验证者的列表9sync_aggregate:用于服务轻客户端的验证者子集10execution_payload:由执行客户端传送的交易11显示全部
attestations
字段包含区块中所有认证的列表。 认证有自 己的数据类型,其中包含多条数据。 每个认证包含:
1aggregation_bits:参与此认证的验证者列表2data:具有多个子字段的容器3signature:所有证明验证者的聚合签名4
attestation
中的 data
字段包含以下内容:
1slot:认证涉及的时隙2index:证明验证者的索引3beacon_block_root:包含此对象的信标链区块的根哈希4source:上一个合理的检查点5target:最新的时段边界区块6
执行 execution_payload
中的交易会更新全局状态。 所有客户端重新执行 execution_payload
中的交易,以确保新状态与新区块 state_root
字段中的状态相符。 这就是客户端如何判断新区块是否有效且可以安全添加到其区块链的方式。 execution payload
本身是一个包含多个字段的对象。 还有一个 execution_payload_header
,包含有关执行数据的重要摘要信息。 这些数据结构如下组织:
execution_payload_header
包含以下字段:
1parent_hash:父块的哈希2fee_recipient:接收交易费的帐户地址3state_root:应用此区块中的变化后全局状态的根哈希4receipts_root:交易收据树的哈希5logs_bloom:包含事件日志的数据结构6prev_randao:随机选择验证者时使用的值7block_number:当前区块的编号8gas_limit:此区块允许使用的最大燃料量9gas_used:此区块实际使用的燃料量10timestamp:出块时间11extra_data:作为原始字节的任意附加数据12base_fee_per_gas:基础费的值13block_hash:执行区块的哈希14transactions_root:有效载荷中交易的根哈希15显示全部
execution_payload
本身包含以下字段(这些与 header 字段相同,只是它包含的不是交易的根哈希,而是实际的交易列表):
1parent_hash:父块的哈希2fee_recipient:接收交易费的帐户地址3state_root:应用此区块中的变化后全局状态的根哈希4receipts_root:交易收据树的哈希5logs_bloom:包含事件日志的数据结构6prev_randao:随机选择验证者时使用的值7block_number:当前区块的编号8gas_limit:此区块允许使用的最大燃料量9gas_used:此区块实际使用的燃料量10timestamp:出块时间11extra_data:作为原始字节的任意附加数据12base_fee_per_gas:基础费的值13block_hash:执行区块的哈希14transactions:要执行交易的列表15显示全部
出块时间
出块时间是指两个区块之间的时间间隔。 在以太坊中,时间划分为每 12 秒一个单位,称为“时隙”。 在每个时隙内,选择一个单独的验证者提议区块。 假设所有验证者都在线且完全正常运行,则每个时隙内都会有一个区块产生,意味着出块时间是 12 秒。 但是,偶尔验证者在被要求提议区块时不在线,导致有时候一些时隙是空的。 这与基于工作量证明的系统不同。在工作量证明系统中,出块时间是带有概率性的,并由挖矿难度调节。
区块大小
最后一条重要提示是,区块本身的大小是有界限的。 每个区块的目标大小为 1500 万单位燃料,但区块的大小将根据网络需求而增加或减少,直至达到 3000 万单位燃料的区块限制(目标区块大小的 2 倍)。 区块中所有交易所消耗的总燃料量必须低于区块的燃料限制。 这很重要,因为它可以确保区块不能任意扩大。 如果区块可以任意扩大,由于空间和速度方面的要求,性能较差的全节点将逐渐无法跟上网络。 区块越大,在下一个时隙中及时处理它们需要的算力就越强大。 这是一种集中化的因素,可以通过限制区块大小来抵制。
延伸阅读
还有哪些社区资源对你有所帮助? 请编辑本页面并添加!