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

// This file was created by the AIR team.

use crate::components::prelude::*;
use crate::components::subroutines::bitwise_xor_num_bits_7::BitwiseXorNumBits7;
use crate::components::subroutines::bitwise_xor_num_bits_9::BitwiseXorNumBits9;
use crate::components::subroutines::split_16_low_part_size_7::Split16LowPartSize7;

#[derive(Copy, Clone, Serialize, Deserialize, CairoSerialize)]
pub struct XorRot32R7 {}

impl XorRot32R7 {
    #[allow(unused_parens)]
    #[allow(clippy::double_parens)]
    #[allow(non_snake_case)]
    #[allow(clippy::unused_unit)]
    #[allow(unused_variables)]
    #[allow(clippy::too_many_arguments)]
    pub fn evaluate<E: EvalAtRow>(
        [xor_rot_32_r_7_input_limb_0, xor_rot_32_r_7_input_limb_1, xor_rot_32_r_7_input_limb_2, xor_rot_32_r_7_input_limb_3]: [E::F; 4],
        ms_9_bits_col0: E::F,
        ms_9_bits_col1: E::F,
        ms_9_bits_col2: E::F,
        ms_9_bits_col3: E::F,
        xor_col4: E::F,
        xor_col5: E::F,
        xor_col6: E::F,
        xor_col7: E::F,
        common_lookup_elements: &relations::CommonLookupElements,
        eval: &mut E,
    ) -> [E::F; 2] {
        let M31_512 = E::F::from(M31::from(512));

        let [split_16_low_part_size_7_output_tmp_e97b9_1_limb_0] = Split16LowPartSize7::evaluate(
            [xor_rot_32_r_7_input_limb_0.clone()],
            ms_9_bits_col0.clone(),
            common_lookup_elements,
            eval,
        );
        let [split_16_low_part_size_7_output_tmp_e97b9_3_limb_0] = Split16LowPartSize7::evaluate(
            [xor_rot_32_r_7_input_limb_1.clone()],
            ms_9_bits_col1.clone(),
            common_lookup_elements,
            eval,
        );
        let [split_16_low_part_size_7_output_tmp_e97b9_5_limb_0] = Split16LowPartSize7::evaluate(
            [xor_rot_32_r_7_input_limb_2.clone()],
            ms_9_bits_col2.clone(),
            common_lookup_elements,
            eval,
        );
        let [split_16_low_part_size_7_output_tmp_e97b9_7_limb_0] = Split16LowPartSize7::evaluate(
            [xor_rot_32_r_7_input_limb_3.clone()],
            ms_9_bits_col3.clone(),
            common_lookup_elements,
            eval,
        );
        BitwiseXorNumBits7::evaluate(
            [
                split_16_low_part_size_7_output_tmp_e97b9_1_limb_0.clone(),
                split_16_low_part_size_7_output_tmp_e97b9_5_limb_0.clone(),
            ],
            xor_col4.clone(),
            common_lookup_elements,
            eval,
        );
        BitwiseXorNumBits9::evaluate(
            [ms_9_bits_col0.clone(), ms_9_bits_col2.clone()],
            xor_col5.clone(),
            common_lookup_elements,
            eval,
        );
        BitwiseXorNumBits7::evaluate(
            [
                split_16_low_part_size_7_output_tmp_e97b9_3_limb_0.clone(),
                split_16_low_part_size_7_output_tmp_e97b9_7_limb_0.clone(),
            ],
            xor_col6.clone(),
            common_lookup_elements,
            eval,
        );
        BitwiseXorNumBits9::evaluate(
            [ms_9_bits_col1.clone(), ms_9_bits_col3.clone()],
            xor_col7.clone(),
            common_lookup_elements,
            eval,
        );
        let xor_rot_7_output_tmp_e97b9_16_limb_0 =
            eval.add_intermediate((xor_col5.clone() + (xor_col6.clone() * M31_512.clone())));
        let xor_rot_7_output_tmp_e97b9_16_limb_1 =
            eval.add_intermediate((xor_col7.clone() + (xor_col4.clone() * M31_512.clone())));
        [
            xor_rot_7_output_tmp_e97b9_16_limb_0.clone(),
            xor_rot_7_output_tmp_e97b9_16_limb_1.clone(),
        ]
    }
}