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
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98

pub mod add_252;
pub mod bitwise_xor_num_bits_12;
pub mod bitwise_xor_num_bits_4;
pub mod bitwise_xor_num_bits_7;
pub mod bitwise_xor_num_bits_8;
pub mod bitwise_xor_num_bits_8_b;
pub mod bitwise_xor_num_bits_9;
pub mod cond_felt_252_as_addr;
pub mod cond_felt_252_as_rel_imm;
pub mod cond_range_check_2;
pub mod create_blake_output;
pub mod create_blake_round_input;
pub mod decode_blake_opcode;
pub mod decode_generic_instruction;
pub mod decode_instruction_15a61;
pub mod decode_instruction_161c9;
pub mod decode_instruction_2a7a2;
pub mod decode_instruction_3802d;
pub mod decode_instruction_472fe;
pub mod decode_instruction_4b8cf;
pub mod decode_instruction_7ebc4;
pub mod decode_instruction_9bd86;
pub mod decode_instruction_b1597;
pub mod decode_instruction_ba944;
pub mod decode_instruction_bc3cd;
pub mod decode_instruction_cb32b;
pub mod decode_instruction_d2a10;
pub mod decode_instruction_de75a;
pub mod decode_instruction_df7a6;
pub mod decode_instruction_f1edd;
pub mod decode_instruction_fe864;
pub mod decode_small_sign;
pub mod double_karatsuba_1454b;
pub mod double_karatsuba_b1daa;
pub mod ec_add;
pub mod ec_double;
pub mod encode_offsets;
pub mod eval_operands;
pub mod felt_252_unpack_from_27;
pub mod felt_252_unpack_from_27_range_check_output;
pub mod handle_opcodes;
pub mod linear_combination_n_1_coefs_2;
pub mod linear_combination_n_2_coefs_1_1;
pub mod linear_combination_n_4_coefs_1_1_m2_1;
pub mod linear_combination_n_4_coefs_1_m1_1_1;
pub mod linear_combination_n_4_coefs_3_1_1_1;
pub mod linear_combination_n_4_coefs_4_2_1_1;
pub mod linear_combination_n_4_coefs_4_2_m2_1;
pub mod linear_combination_n_6_coefs_4_2_3_1_m1_1;
pub mod mem_cond_verify_equal_known_id;
pub mod mem_verify;
pub mod mem_verify_equal;
pub mod mod_utils;
pub mod mod_words_to_12_bit_array;
pub mod mul_252;
pub mod poseidon_hades_permutation;
pub mod poseidon_partial_round;
pub mod qm_31_read_reduced;
pub mod range_check_29;
pub mod range_check_last_limb_bits_in_ms_limb_2;
pub mod range_check_last_limb_bits_in_ms_limb_6;
pub mod range_check_mem_value_n_28;
pub mod range_check_mem_value_n_8;
pub mod read_id;
pub mod read_positive_known_id_num_bits_128;
pub mod read_positive_known_id_num_bits_144;
pub mod read_positive_known_id_num_bits_252;
pub mod read_positive_known_id_num_bits_29;
pub mod read_positive_known_id_num_bits_36;
pub mod read_positive_known_id_num_bits_72;
pub mod read_positive_known_id_num_bits_96;
pub mod read_positive_known_id_num_bits_99;
pub mod read_positive_num_bits_128;
pub mod read_positive_num_bits_144;
pub mod read_positive_num_bits_252;
pub mod read_positive_num_bits_29;
pub mod read_positive_num_bits_36;
pub mod read_positive_num_bits_72;
pub mod read_positive_num_bits_96;
pub mod read_positive_num_bits_99;
pub mod read_small;
pub mod read_u_32;
pub mod single_karatsuba_n_7;
pub mod single_karatsuba_n_8;
pub mod split_16_low_part_size_12;
pub mod split_16_low_part_size_7;
pub mod split_16_low_part_size_8;
pub mod triple_sum_32;
pub mod update_registers;
pub mod verify_add_252;
pub mod verify_mul_252;
pub mod verify_mul_small;
pub mod verify_reduced_252;
pub mod verify_u_32;
pub mod xor_rot_32_r_12;
pub mod xor_rot_32_r_16;
pub mod xor_rot_32_r_7;
pub mod xor_rot_32_r_8;