BSC链中FinalizeAndAssemble和Finalize的区别

概述

在BSC（Binance Smart Chain）的Parlia共识机制中，FinalizeAndAssemble和Finalize是两个核心方法，它们在区块生命周期中扮演不同的角色，但经常被混淆。本文将深入分析这两个方法的区别和使用场景。

方法定义

FinalizeAndAssemble

 

func (p *Parlia) FinalizeAndAssemble(chain consensus.ChainHeaderReader, header *types.Header, state *state.StateDB,
    body *types.Body, receipts []*types.Receipt, tracer *tracing.Hooks) (*types.Block, []*types.Receipt, error)

Finalize

 

func (p *Parlia) Finalize(chain consensus.ChainHeaderReader, header *types.Header, state vm.StateDB, txs *[]*types.Transaction,
    uncles []*types.Header, _ []*types.Withdrawal, receipts *[]*types.Receipt, systemTxs *[]*types.Transaction, usedGas *uint64, tracer *tracing.Hooks) error

核心区别

1. 调用时机和角色

FinalizeAndAssemble - 区块创建者调用

• 在挖矿节点创建新区块时调用

• 负责执行所有系统逻辑并组装最终的区块

• 返回完整的区块对象和收据

Finalize - 区块验证者调用

• 在所有节点接收到新区块进行验证时调用

• 负责验证区块中的系统逻辑是否正确执行

• 不返回区块，只验证状态

2. 执行流程差异

FinalizeAndAssemble执行流程：

 

// 1. 初始化系统合约
systemcontracts.TryUpdateBuildInSystemContract(...)

// 2. 处理各种系统逻辑
p.distributeIncoming(...)           // 分发收入
p.distributeFinalityReward(...)     // 分发最终性奖励
p.updateValidatorSetV2(...)         // 更新验证者集合

// 3. 组装并返回区块
return types.NewBlock(header, body.Transactions, nil, receipts, trie.NewStackTrie(nil))

Finalize执行流程：

// 1. 验证系统逻辑（与FinalizeAndAssemble相同的逻辑）
p.distributeIncoming(...)
p.distributeFinalityReward(...)
p.updateValidatorSetV2(...)

// 2. 验证systemTxs长度（关键差异）
if len(*systemTxs) > 0 {
    return errors.New("the length of systemTxs do not match")
}

3. systemTxs参数的关键作用

这是两个方法最重要的区别：

systemTxs的作用机制：

• 在区块验证阶段，系统会识别区块中的系统交易

• 这些系统交易被添加到systemTxs列表中

• Finalize方法期望systemTxs为空，因为所有系统交易都应该被正确处理

关键代码：

 

// 在applyTransaction中
if msg.From == p.val && mining {
    // 挖矿模式：直接签名交易
    expectedTx, err = p.signTxFn(accounts.Account{Address: msg.From}, expectedTx, p.chainConfig.ChainID)
} else {
    // 验证模式：从receivedTxs中获取实际交易
    actualTx := (*receivedTxs)[0]
    *receivedTxs = (*receivedTxs)[1:]  // 消费一个交易
}

实际应用场景

场景1：正常区块创建和验证

1. 挖矿节点调用FinalizeAndAssemble创建区块

2. 其他节点接收到区块后调用Finalize验证

3. 两个方法执行相同的系统逻辑，确保一致性

场景2：测试场景（你的情况）

// 在FinalizeAndAssemble中写死调用
if err := p.updateValidatorSetV2(state, header, cx, &body.Transactions, &receipts, nil, &header.GasUsed, true, tracer); err != nil {
    return nil, nil, err
}

// 在Finalize中也写死调用
if err := p.updateValidatorSetV2(state, header, cx, txs, receipts, systemTxs, usedGas, false, tracer); err != nil {
    return err
}

 

问题： 如果不统一写死，会导致：

• FinalizeAndAssemble创建区块时执行了updateValidatorSetV2

• Finalize验证时也执行了updateValidatorSetV2

• 但systemTxs参数不同，导致验证失败

常见错误和解决方案

错误："the length of systemTxs do not match"

原因：

• FinalizeAndAssemble和Finalize执行逻辑不一致

• systemTxs参数处理不当

• updateValidatorSetV2等系统方法消费了systemTxs但逻辑不匹配

解决方案：

1. 统一写死调用：确保两个方法执行相同的系统逻辑

2. 删除systemTxs检查：如果确定逻辑一致，可以移除长度检查

3. 正确传递参数：确保systemTxs参数在两个方法中正确处理

总结

• FinalizeAndAssemble：区块创建者的"组装器"，负责创建完整区块

• Finalize：区块验证者的"验证器"，负责验证区块正确性

• 关键一致性：两个方法必须执行相同的系统逻辑，否则会导致验证失败

• systemTxs：是连接两个方法的关键参数，需要特别关注其处理逻辑

理解这两个方法的区别对于BSC链的开发和调试至关重要，特别是在需要修改系统逻辑时，必须确保两个方法的一致性。