AxiomV2Core ZK 电路

生成和验证密钥

有关如何在以太坊主网上生产中使用确切的生成和验证密钥的说明，请参阅此处。

公共实例格式

任何 Snark 都有一个与之相关的 Vec<Fr> 公共实例。我们下面描述了与 AxiomV2Core 电路相关的格式。

EthBlockHeaderChainCircuit

pub struct EthBlockHeaderChainInput<F> {
    header_rlp_encodings: Vec<Vec<u8>>,
    num_blocks: u32, // num_blocks in [0, 2 ** max_depth)
    max_depth: usize,
    network: Network,
    _marker: PhantomData<F>,
}

这取决于一个 max_depth 参数。公共实例是

• prev_hash: H256 作为 hi-lo 格式中的两个 Fr 元素
• end_hash: H256 作为 hi-lo 格式中的两个 Fr 元素
• start_block_number . end_block_number：我们假设这两个数字都是 u32 类型，并将它们编码为单个 Fr 元素，格式为 start_block_number * 2^32 + end_block_number
• merkle_mountain_range：一个由 max_depth + 1 个 H256 元素组成的序列，每个元素都编码为两个 hi-lo 格式的 Fr 元素

注意

• prev_hash 是编号为 start_block_number 的块的父哈希
• end_hash 是编号为 end_block_number 的块的哈希
• end_block_number - start_block_number 被限制为 <= 2^max_depth
  • 这之前在 axiom-eth v0.1.1 中被假设，但因为没有强制执行，因为块编号是公开实例，但现在我们为了安全起见强制执行它
• merkle_mountain_range 按从最大峰值（深度 max_depth）到最小峰值（深度 0）的顺序排列

pub struct EthBlockHeaderChainIntermediateAggregationInput {
    num_blocks: u32,
    snarks: Vec<Snark>,
    pub max_depth: usize,
    pub initial_depth: usize,
}

• 4 * LIMBS = 12 个 Fr 元素，用于表示 累加器 的两个 BN254 G1 点，验证者使用这些点进行配对检查
• prev_hash: H256 作为 hi-lo 格式中的两个 Fr 元素
• end_hash: H256 作为 hi-lo 格式中的两个 Fr 元素
• start_block_number . end_block_number：我们假设这两个数字都是 u32 类型，并将它们编码为单个 Fr 元素，格式为 start_block_number * 2^32 + end_block_number
• merkle_mountain_range：一个由 2^{max_depth - initial_depth} + initial_depth 个 H256 元素组成的序列，每个元素都编码为两个 hi-lo 格式的 Fr 元素

注意

• 与 EthBlockHeaderChainCircuit 相同的说明，但 merkle_mountain_range 实际上不是一个 Merkle 山脉：我们通过从叶子节点 merkle_mountain_range[..2^{max_depth - initial_depth}] 形成一个 Merkle 山脉，然后将其追加到末尾来恢复长度为 max_depth + 1 的 Merkle 山脉
  • 原因是我们想延迟 Keccak

pub struct EthBlockHeaderChainRootAggregationInput {
    /// See [EthBlockHeaderChainIntermediateAggregationInput]
    pub inner: EthBlockHeaderChainIntermediateAggregationInput,
    /// Succinct verifying key (generator of KZG trusted setup) should match `inner.snarks`
    pub svk: Svk,
    prev_acc_indices: Vec<Vec<usize>>,
}

pub struct InputMerkleAggregation {
    pub snarks: Vec<EnhancedSnark>,
}