Skip to content

Commit

Permalink
fix clippy
Browse files Browse the repository at this point in the history
  • Loading branch information
diegokingston committed Oct 23, 2024
1 parent 2940b73 commit ce80fee
Showing 1 changed file with 5 additions and 0 deletions.
5 changes: 5 additions & 0 deletions provers/stark/src/constraints/transition.rs
Original file line number Diff line number Diff line change
Expand Up @@ -105,6 +105,7 @@ where
}

/// Compute evaluations of the constraints zerofier over a LDE domain.
#[allow(unstable_name_collisions)]
fn zerofier_evaluations_on_extended_domain(&self, domain: &Domain<F>) -> Vec<FieldElement<F>> {
let blowup_factor = domain.blowup_factor;
let trace_length = domain.trace_roots_of_unity.len();
Expand All @@ -120,7 +121,9 @@ where
if let Some(exemptions_period) = self.exemptions_period() {
// FIXME: Rather than making this assertions here, it would be better to handle these
// 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());

// The elements of the domain have order `trace_length * blowup_factor`, so the zerofier evaluations
Expand Down Expand Up @@ -204,6 +207,7 @@ where

/// Returns the evaluation of the zerofier corresponding to this constraint in some point
/// `z`, which could be in a field extension.
#[allow(unstable_name_collisions)]
fn evaluate_zerofier(
&self,
z: &FieldElement<E>,
Expand All @@ -214,6 +218,7 @@ where

if let Some(exemptions_period) = self.exemptions_period() {
debug_assert!(exemptions_period.is_multiple_of(&self.period()));

debug_assert!(self.periodic_exemptions_offset().is_some());

let periodic_exemptions_offset = self.periodic_exemptions_offset().unwrap();
Expand Down

0 comments on commit ce80fee

Please sign in to comment.