Hyperledger Besu中eth_createAccessList的Hive测试问题分析

问题背景

在Hyperledger Besu项目的测试过程中，发现两个与eth_createAccessList RPC方法相关的Hive测试用例失败。这两个测试用例分别是：

1. eth_createAccessList/create-al-contract
2. eth_createAccessList/create-al-contract-eip1559

这两个测试用例的主要目的是验证Besu能否正确地为访问存储的合约调用创建访问列表(access list)。

问题表现

测试失败的主要差异表现在两个方面：

1. 存储键(storageKey)排序问题：测试返回结果中的storageKeys数组顺序与预期不符
2. gasUsed值不匹配：实际消耗的gas值与预期值存在差异

具体测试输出对比显示，storageKeys数组中两个键的顺序被交换了，同时gasUsed值从预期的0xca3c变成了0xd338。

问题分析与解决

存储键排序问题

存储键排序不一致的问题相对容易解决。这是由于Besu实现中对storageKeys数组的排序逻辑与测试预期不一致导致的。在区块链开发中，存储键的排序通常应该遵循确定的顺序（如按字典序），以确保不同客户端实现的一致性。

gasUsed值差异问题

gas计算差异的问题更为复杂。经过分析，这是由于Besu在计算访问列表相关操作的gas消耗时，实现逻辑与测试预期存在偏差。这个问题通过PR#8478得到了解决，该PR调整了gas计算逻辑以符合预期行为。

技术意义

eth_createAccessList是EIP-2930引入的一个重要RPC方法，它允许客户端在执行交易前获取该交易可能访问的地址和存储键列表。这对于：

1. 优化gas费用计算
2. 提高交易执行的确定性
3. 支持EIP-2930类型的交易

都具有重要意义。因此，确保其实现的正确性对Besu的兼容性和功能性都至关重要。

结论

通过修复存储键排序和gas计算逻辑，Hyperledger Besu成功解决了这两个Hive测试用例的失败问题。这体现了Besu团队对协议兼容性和实现正确性的高度重视，也展示了开源社区通过持续集成测试保证软件质量的有效性。

对于区块链开发者而言，理解访问列表机制及其gas计算方式，对于优化DApp性能和成本具有重要意义。Besu对这些细节的持续改进，为开发者提供了更可靠的基础设施支持。