Skip to content

Commit fd90feb

Browse files
StavbeStavbe
committed
auto generated
1 parent 4e9889b commit fd90feb

15 files changed

Lines changed: 11 additions & 58 deletions

‎crates/cairo_air/src/sample_evaluations.rs‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
// AIR version 4d9c5adb
1+
// AIR version f2b5936f
22
use stwo::core::fields::{cm31::CM31, m31::M31, qm31::QM31};
33
pub const ADD_AP_OPCODE_SAMPLE_EVAL_RESULT: QM31 =
44
QM31(CM31(M31(1435814162), M31(1618992457)), CM31(M31(840348268), M31(442754761)));

‎crates/circuit_air/src/circuit_eval_components/blake_g.rs‎

Lines changed: 0 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -76,7 +76,6 @@ pub fn accumulate_constraints<Value: IValue>(
7676
xor_col51,
7777
enabler_col52,
7878
] = input.try_into().unwrap();
79-
let enabler = context.one();
8079

8180
triple_sum_32::accumulate_constraints(
8281
&[
@@ -91,7 +90,6 @@ pub fn accumulate_constraints<Value: IValue>(
9190
],
9291
context,
9392
component_data,
94-
enabler,
9593
acc,
9694
);
9795

@@ -113,7 +111,6 @@ pub fn accumulate_constraints<Value: IValue>(
113111
],
114112
context,
115113
component_data,
116-
enabler,
117114
acc,
118115
)
119116
.try_into()
@@ -132,7 +129,6 @@ pub fn accumulate_constraints<Value: IValue>(
132129
],
133130
context,
134131
component_data,
135-
enabler,
136132
acc,
137133
);
138134

@@ -154,7 +150,6 @@ pub fn accumulate_constraints<Value: IValue>(
154150
],
155151
context,
156152
component_data,
157-
enabler,
158153
acc,
159154
)
160155
.try_into()
@@ -173,7 +168,6 @@ pub fn accumulate_constraints<Value: IValue>(
173168
],
174169
context,
175170
component_data,
176-
enabler,
177171
acc,
178172
);
179173

@@ -195,7 +189,6 @@ pub fn accumulate_constraints<Value: IValue>(
195189
],
196190
context,
197191
component_data,
198-
enabler,
199192
acc,
200193
)
201194
.try_into()
@@ -214,7 +207,6 @@ pub fn accumulate_constraints<Value: IValue>(
214207
],
215208
context,
216209
component_data,
217-
enabler,
218210
acc,
219211
);
220212

@@ -236,7 +228,6 @@ pub fn accumulate_constraints<Value: IValue>(
236228
],
237229
context,
238230
component_data,
239-
enabler,
240231
acc,
241232
)
242233
.try_into()
@@ -410,7 +401,6 @@ mod tests {
410401
random_coeff,
411402
interaction_elements,
412403
);
413-
accumulator.set_enable_bit(context.one());
414404
component.evaluate(&mut context, &component_data, &mut accumulator);
415405
accumulator.finalize_logup_in_pairs(
416406
&mut context,

‎crates/circuit_air/src/circuit_eval_components/subroutines/bitwise_xor_num_bits_12.rs‎

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -10,7 +10,6 @@ pub fn accumulate_constraints<Value: IValue>(
1010
input: &[Var],
1111
context: &mut Context<Value>,
1212
component_data: &dyn ComponentDataTrait<Value>,
13-
enabler: Var,
1413
acc: &mut CompositionConstraintAccumulator,
1514
) -> Vec<Var> {
1615
let [bitwise_xor_num_bits_12_input_limb_0, bitwise_xor_num_bits_12_input_limb_1, xor_col0] =
@@ -23,7 +22,7 @@ pub fn accumulate_constraints<Value: IValue>(
2322
eval!(context, bitwise_xor_num_bits_12_input_limb_1),
2423
eval!(context, xor_col0),
2524
];
26-
let numerator_0 = eval!(context, enabler);
25+
let numerator_0 = eval!(context, 1);
2726
acc.add_to_relation(context, numerator_0, tuple_0);
2827
vec![]
2928
}

‎crates/circuit_air/src/circuit_eval_components/subroutines/bitwise_xor_num_bits_4.rs‎

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -10,7 +10,6 @@ pub fn accumulate_constraints<Value: IValue>(
1010
input: &[Var],
1111
context: &mut Context<Value>,
1212
component_data: &dyn ComponentDataTrait<Value>,
13-
enabler: Var,
1413
acc: &mut CompositionConstraintAccumulator,
1514
) -> Vec<Var> {
1615
let [bitwise_xor_num_bits_4_input_limb_0, bitwise_xor_num_bits_4_input_limb_1, xor_col0] =
@@ -23,7 +22,7 @@ pub fn accumulate_constraints<Value: IValue>(
2322
eval!(context, bitwise_xor_num_bits_4_input_limb_1),
2423
eval!(context, xor_col0),
2524
];
26-
let numerator_0 = eval!(context, enabler);
25+
let numerator_0 = eval!(context, 1);
2726
acc.add_to_relation(context, numerator_0, tuple_0);
2827
vec![]
2928
}

‎crates/circuit_air/src/circuit_eval_components/subroutines/bitwise_xor_num_bits_7.rs‎

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -10,7 +10,6 @@ pub fn accumulate_constraints<Value: IValue>(
1010
input: &[Var],
1111
context: &mut Context<Value>,
1212
component_data: &dyn ComponentDataTrait<Value>,
13-
enabler: Var,
1413
acc: &mut CompositionConstraintAccumulator,
1514
) -> Vec<Var> {
1615
let [bitwise_xor_num_bits_7_input_limb_0, bitwise_xor_num_bits_7_input_limb_1, xor_col0] =
@@ -23,7 +22,7 @@ pub fn accumulate_constraints<Value: IValue>(
2322
eval!(context, bitwise_xor_num_bits_7_input_limb_1),
2423
eval!(context, xor_col0),
2524
];
26-
let numerator_0 = eval!(context, enabler);
25+
let numerator_0 = eval!(context, 1);
2726
acc.add_to_relation(context, numerator_0, tuple_0);
2827
vec![]
2928
}

‎crates/circuit_air/src/circuit_eval_components/subroutines/bitwise_xor_num_bits_8.rs‎

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -10,7 +10,6 @@ pub fn accumulate_constraints<Value: IValue>(
1010
input: &[Var],
1111
context: &mut Context<Value>,
1212
component_data: &dyn ComponentDataTrait<Value>,
13-
enabler: Var,
1413
acc: &mut CompositionConstraintAccumulator,
1514
) -> Vec<Var> {
1615
let [bitwise_xor_num_bits_8_input_limb_0, bitwise_xor_num_bits_8_input_limb_1, xor_col0] =
@@ -23,7 +22,7 @@ pub fn accumulate_constraints<Value: IValue>(
2322
eval!(context, bitwise_xor_num_bits_8_input_limb_1),
2423
eval!(context, xor_col0),
2524
];
26-
let numerator_0 = eval!(context, enabler);
25+
let numerator_0 = eval!(context, 1);
2726
acc.add_to_relation(context, numerator_0, tuple_0);
2827
vec![]
2928
}

‎crates/circuit_air/src/circuit_eval_components/subroutines/bitwise_xor_num_bits_8_b.rs‎

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -10,7 +10,6 @@ pub fn accumulate_constraints<Value: IValue>(
1010
input: &[Var],
1111
context: &mut Context<Value>,
1212
component_data: &dyn ComponentDataTrait<Value>,
13-
enabler: Var,
1413
acc: &mut CompositionConstraintAccumulator,
1514
) -> Vec<Var> {
1615
let [bitwise_xor_num_bits_8_b_input_limb_0, bitwise_xor_num_bits_8_b_input_limb_1, xor_col0] =
@@ -23,7 +22,7 @@ pub fn accumulate_constraints<Value: IValue>(
2322
eval!(context, bitwise_xor_num_bits_8_b_input_limb_1),
2423
eval!(context, xor_col0),
2524
];
26-
let numerator_0 = eval!(context, enabler);
25+
let numerator_0 = eval!(context, 1);
2726
acc.add_to_relation(context, numerator_0, tuple_0);
2827
vec![]
2928
}

‎crates/circuit_air/src/circuit_eval_components/subroutines/bitwise_xor_num_bits_9.rs‎

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -10,7 +10,6 @@ pub fn accumulate_constraints<Value: IValue>(
1010
input: &[Var],
1111
context: &mut Context<Value>,
1212
component_data: &dyn ComponentDataTrait<Value>,
13-
enabler: Var,
1413
acc: &mut CompositionConstraintAccumulator,
1514
) -> Vec<Var> {
1615
let [bitwise_xor_num_bits_9_input_limb_0, bitwise_xor_num_bits_9_input_limb_1, xor_col0] =
@@ -23,7 +22,7 @@ pub fn accumulate_constraints<Value: IValue>(
2322
eval!(context, bitwise_xor_num_bits_9_input_limb_1),
2423
eval!(context, xor_col0),
2524
];
26-
let numerator_0 = eval!(context, enabler);
25+
let numerator_0 = eval!(context, 1);
2726
acc.add_to_relation(context, numerator_0, tuple_0);
2827
vec![]
2928
}

‎crates/circuit_air/src/circuit_eval_components/subroutines/triple_sum_32.rs‎

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,6 @@ pub fn accumulate_constraints<Value: IValue>(
99
input: &[Var],
1010
context: &mut Context<Value>,
1111
component_data: &dyn ComponentDataTrait<Value>,
12-
enabler: Var,
1312
acc: &mut CompositionConstraintAccumulator,
1413
) -> Vec<Var> {
1514
let [

‎crates/circuit_air/src/circuit_eval_components/subroutines/xor_rot_32_r_12.rs‎

Lines changed: 0 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -12,7 +12,6 @@ pub fn accumulate_constraints<Value: IValue>(
1212
input: &[Var],
1313
context: &mut Context<Value>,
1414
component_data: &dyn ComponentDataTrait<Value>,
15-
enabler: Var,
1615
acc: &mut CompositionConstraintAccumulator,
1716
) -> Vec<Var> {
1817
let [
@@ -78,15 +77,13 @@ pub fn accumulate_constraints<Value: IValue>(
7877
],
7978
context,
8079
component_data,
81-
enabler,
8280
acc,
8381
);
8482

8583
bitwise_xor_num_bits_4::accumulate_constraints(
8684
&[eval!(context, ms_4_bits_col0), eval!(context, ms_4_bits_col2), eval!(context, xor_col5)],
8785
context,
8886
component_data,
89-
enabler,
9087
acc,
9188
);
9289

@@ -98,15 +95,13 @@ pub fn accumulate_constraints<Value: IValue>(
9895
],
9996
context,
10097
component_data,
101-
enabler,
10298
acc,
10399
);
104100

105101
bitwise_xor_num_bits_4::accumulate_constraints(
106102
&[eval!(context, ms_4_bits_col1), eval!(context, ms_4_bits_col3), eval!(context, xor_col7)],
107103
context,
108104
component_data,
109-
enabler,
110105
acc,
111106
);
112107

0 commit comments

Comments
 (0)