cairo-air 1.2.2

AIR (Algebraic Intermediate Representation) definitions for Cairo programs
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

#![allow(non_camel_case_types)]
use stwo::core::fields::m31::M31;
use stwo_constraint_framework::relation;

// A unique ID for each relation, used to separate tuples of different relations
// used / yielded using the common lookup elements.
// These were generated by hashing the relation name.
pub const MEMORY_ADDRESS_TO_ID_RELATION_ID: M31 = M31::from_u32_unchecked(1444891767);
pub const MEMORY_ID_TO_BIG_RELATION_ID: M31 = M31::from_u32_unchecked(1662111297);
pub const OPCODES_RELATION_ID: M31 = M31::from_u32_unchecked(428564188);
pub const RANGE_CHECK_9_9_RELATION_ID: M31 = M31::from_u32_unchecked(517791011);
pub const RANGE_CHECK_9_9_B_RELATION_ID: M31 = M31::from_u32_unchecked(1897792095);
pub const RANGE_CHECK_9_9_C_RELATION_ID: M31 = M31::from_u32_unchecked(1881014476);
pub const RANGE_CHECK_9_9_D_RELATION_ID: M31 = M31::from_u32_unchecked(1864236857);
pub const RANGE_CHECK_9_9_E_RELATION_ID: M31 = M31::from_u32_unchecked(1847459238);
pub const RANGE_CHECK_9_9_F_RELATION_ID: M31 = M31::from_u32_unchecked(1830681619);
pub const RANGE_CHECK_9_9_G_RELATION_ID: M31 = M31::from_u32_unchecked(1813904000);
pub const RANGE_CHECK_9_9_H_RELATION_ID: M31 = M31::from_u32_unchecked(2065568285);
pub const VERIFY_BITWISE_XOR_12_RELATION_ID: M31 = M31::from_u32_unchecked(648362599);

// The number of lookup elements computed. These are used by all relations, so the size
// should be at least the size of the largest relation.
// Shouldn't be too large, as this many values will be stored in memory.
const COMMON_LOOKUP_ELEMENTS_SIZE: usize = 128;
relation!(CommonLookupElements, COMMON_LOOKUP_ELEMENTS_SIZE);