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

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

#[test]
fn test_extract_loader_params_per_component_type() {
    let comp_loader_params = SingleComponentLoaderParams::new(3, vec![200]);
    let params = PromiseLoaderParams { comp_loader_params: comp_loader_params.clone() };
    let result =
        PromiseLoader::<Fr, ComponentTypeKeccak<Fr>>::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
        }]
    );
}