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
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43

use crate::{
    halo2curves::bn256::Fr,
    keccak::types::ComponentTypeKeccak,
    utils::component::{
        circuit::{LoaderParamsPerComponentType, PromiseBuilder},
        promise_loader::{
            combo::PromiseBuilderCombo,
            comp_loader::SingleComponentLoaderParams,
            single::{PromiseLoader, PromiseLoaderParams},
        },
        tests::dummy_comp::ComponentTypeAdd,
        ComponentType,
    },
};

#[test]
fn test_extract_loader_params_per_component_type() {
    type Loader = PromiseBuilderCombo<
        Fr,
        PromiseLoader<Fr, ComponentTypeKeccak<Fr>>,
        PromiseLoader<Fr, ComponentTypeAdd<Fr>>,
    >;
    let comp_loader_params_1 = SingleComponentLoaderParams::new(3, vec![200]);
    let comp_loader_params_2 = SingleComponentLoaderParams::new(2, vec![20]);
    let params = (
        PromiseLoaderParams { comp_loader_params: comp_loader_params_1.clone() },
        PromiseLoaderParams { comp_loader_params: comp_loader_params_2.clone() },
    );
    let result = Loader::extract_loader_params_per_component_type(&params);
    assert_eq!(
        result,
        vec![
            LoaderParamsPerComponentType {
                component_type_id: ComponentTypeKeccak::<Fr>::get_type_id(),
                loader_params: comp_loader_params_1
            },
            LoaderParamsPerComponentType {
                component_type_id: ComponentTypeAdd::<Fr>::get_type_id(),
                loader_params: comp_loader_params_2
            }
        ]
    );
}