Skip to content

Commit

Permalink
Update
Browse files Browse the repository at this point in the history
  • Loading branch information
WizardOfMenlo committed Jul 27, 2024
1 parent 2badf8d commit 0defea9
Showing 1 changed file with 4 additions and 3 deletions.
7 changes: 4 additions & 3 deletions src/plugins/ark/iopattern.rs
Original file line number Diff line number Diff line change
Expand Up @@ -28,17 +28,18 @@ where
}
}

impl<C, H, const N: usize> FieldIOPattern<Fp<C, N>> for IOPattern<H, Fp<C, N>>
impl<F, C, H, const N: usize> FieldIOPattern<F> for IOPattern<H, Fp<C, N>>
where
F: Field<BasePrimeField = Fp<C, N>>,
C: FpConfig<N>,
H: DuplexHash<Fp<C, N>>,
{
fn add_scalars(self, count: usize, label: &str) -> Self {
self.absorb(count, label)
self.absorb(count * F::extension_degree() as usize, label)
}

fn challenge_scalars(self, count: usize, label: &str) -> Self {
self.squeeze(count, label)
self.squeeze(count * F::extension_degree() as usize, label)
}
}

Expand Down

0 comments on commit 0defea9

Please sign in to comment.