axiom-codec 0.2.1

This crate contains Rust types for Axiom queries and specifies how to encode/decode them to field elements for in-circuit use.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

pub const ENCODED_K_BYTES: usize = 1;
pub const ENCODED_VKEY_LENGTH_BYTES: usize = 1;
pub const FIELD_IDX_BITS: usize = 32;
pub const FIELD_IDX_BYTES: usize = 4;
pub const MAX_SOLIDITY_MAPPING_KEYS: usize = 4;
pub const MAX_SUBQUERY_INPUTS: usize = 13;
pub const MAX_SUBQUERY_OUTPUTS: usize = 2;
pub const NUM_SUBQUERY_TYPES: usize = 7;
pub const SOURCE_CHAIN_ID_BYTES: usize = 8;
pub const SUBQUERY_TYPE_BYTES: usize = 2;
pub const USER_ADVICE_COLS: usize = 4;
pub const USER_FIXED_COLS: usize = 1;
pub const USER_INSTANCE_COLS: usize = 1;
pub const USER_LOOKUP_ADVICE_COLS: usize = 1;
pub const USER_MAX_OUTPUTS: usize = 128;
pub const USER_MAX_SUBQUERIES: usize = 128;
pub const USER_PROOF_LEN_BYTES: usize = 4;
pub const USER_RESULT_BYTES: usize = 32;
pub const USER_RESULT_FIELD_ELEMENTS: usize = 2;
pub const USER_RESULT_LEN_BYTES: usize = 2;