数据结构

• rlp：此模块定义了RlpChip，它大量使用RLC来证明RLP（递归长度前缀）序列化的正确编码/解码。
• mpt：此模块定义了MPTChip，它使用rlp和keccak来证明Merkle Patricia Trie（MPT）中节点的包含和排除证明。

Ethereum执行层（EL）芯片

• block_header：证明将RLP编码的块头部（作为字节）分解为块头部字段。还通过keccak散列块头部来计算块哈希。
• storage：证明账户证明进入状态trie和存储证明进入存储trie。
• transaction：证明将RLP编码的交易包含在交易trie中。还提供了从交易中提取特定字段的功能。
• receipt：证明将RLP编码的收据包含在收据trie中。还提供了从收据中提取特定字段的功能。
• solidity：证明与一系列Solidity映射键对应的原始存储槽。

电路构建器

这是一个抽象概念，我们不会将其编码为顶级特质。这个crate在halo2-base的基础上构建，特别是使用虚拟区域管理器。在这个框架中，电路使用电路构建器编写，这是一个虚拟区域管理器的集合。电路构建器拥有一组原始Halo2列和自定义门，但将电路本身的逻辑存储在某些虚拟状态中。然后，电路构建器可以根据这个虚拟状态进行自动配置或优化，然后将原始列和门选择器分配给原始Halo2电路。

因此，对于Halo2 Challenge API的每个阶段，编写电路有两个步骤

• 指定电路构建器内部虚拟区域的分配
• 将原始列和门选择器分配给原始Halo2电路

在这个包中，我们大量使用了随机线性组合（RLC），它需要两个阶段：阶段0和阶段1。阶段0对应于原始Halo2中的FirstPhase结构体，阶段1对应于SecondPhase结构体。由于阶段1中虚拟分配的正确计算需要挑战值，阶段1的虚拟分配必须在阶段0之后进行。具体来说，这意味着不能提前完全预填充电路构建器中所有虚拟区域。相反，必须在收到挑战值后指定一个函数来完成虚拟分配。

上述内容推动了本模块中核心特质的定义，例如CoreBuilder和PromiseBuilder。这些特质指定了函数变体的接口

• virtual_assign_phase0
• raw_synthesize_phase0
• virtual_assign_phase1
• raw_synthesize_phase1

这四个函数都在原始Halo2的Circuit::synthesize特质实现中依次调用，阶段0列在raw_synthesize_phase0和virtual_assign_phase1之间提交，以便从virtual_assign_phase1开始可用挑战值。（另一个技术区别是，virtual_assign_*可以在没有Layouter的情况下调用，用于任何预计算目的。）

大多数情况下，一个电路构建器可以用于不同的电路实现：raw_synthesize_*逻辑保持不变，只需指定virtual_assign_*指令，就可以快速编写新的电路。

阶段0有效载荷

阶段0的结果/数据也需要传递到阶段1以“继续计算”。理想情况下，会使用Rust闭包来自动推断这些数据在阶段之间传递。然而，由于一些编译器限制/可能的不可稳定性，我们选择要求从阶段0到阶段1传递的所有数据都显式地声明在某种Payload结构体中。这些应始终视为闭包的显式实现。

组件框架

请参阅README。