Skip to content

Commit

Permalink
Remove useless comments
Browse files Browse the repository at this point in the history
  • Loading branch information
entropidelic committed Jan 16, 2024
1 parent f96dfb7 commit 8ee97b2
Showing 1 changed file with 0 additions and 3 deletions.
3 changes: 0 additions & 3 deletions provers/stark/src/constraints/transition.rs
Original file line number Diff line number Diff line change
Expand Up @@ -61,7 +61,6 @@ where
.map(|exemption| trace_primitive_root.pow(trace_length - exemption * period))
.fold(one_poly, |acc, offset| {
acc * (Polynomial::new_monomial(FieldElement::<F>::one(), 1) - offset)
// acc * (Polynomial::new_monomial(FieldElement::<F>::one(), 1) - offset)
})
}

Expand All @@ -83,7 +82,6 @@ where
// errors or make these checks when the AIR is initialized.
debug_assert!(exemptions_period.is_multiple_of(&self.period()));
debug_assert!(self.periodic_exemptions_offset().is_some());
// debug_assert_eq!(self.offset(), self.periodic_exemptions_offset().unwrap());

let last_exponent = blowup_factor * exemptions_period;

Expand All @@ -97,7 +95,6 @@ where
let numerator = offset_times_x.pow(trace_length / exemptions_period)
- trace_primitive_root.pow(offset_exponent);
let denominator = offset_times_x.pow(trace_length / self.period())
// - &FieldElement::<F>::one();
- trace_primitive_root.pow(self.offset() * trace_length / self.period());

numerator.div(denominator)
Expand Down

0 comments on commit 8ee97b2

Please sign in to comment.