axiom-query 2.0.14

This contains the ZK circuits that generate proofs for the `AxiomV2Query` smart contract.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23

#![feature(io_error_other)]
#![feature(associated_type_defaults)]

pub use axiom_eth;

use axiom_eth::halo2_proofs::halo2curves::ff;
pub use axiom_eth::{Field, RawField};

pub mod axiom_aggregation1;
pub mod axiom_aggregation2;
/// Components Complex
pub mod components;
/// Global configuration constants
pub mod global_constants;
pub mod subquery_aggregation;
pub mod utils;
pub mod verify_compute;

#[cfg(feature = "keygen")]
pub mod keygen;

/// This means we can concatenate arrays with individual max length 2^32.
pub const DEFAULT_RLC_CACHE_BITS: usize = 32;