axiom-eth 0.4.0

This crate is the main library for building ZK circuits that prove data about the Ethereum virtual machine (EVM).
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

use snark_verifier_sdk::{halo2::aggregation::AggregationCircuit, CircuitExt};

use crate::utils::snark_verifier::AggregationCircuitParams;

pub trait CircuitMetadata {
    const HAS_ACCUMULATOR: bool;

    fn accumulator_indices() -> Option<Vec<(usize, usize)>> {
        if Self::HAS_ACCUMULATOR {
            AggregationCircuit::accumulator_indices()
        } else {
            None
        }
    }
    fn num_instance(&self) -> Vec<usize>;
}

pub fn get_dummy_aggregation_params(k: usize) -> AggregationCircuitParams {
    AggregationCircuitParams { degree: k as u32, lookup_bits: k - 1, ..Default::default() }
}