saymrwulf/pasta_curves-source
1
0
Fork 0
mirror of https://github.com/saymrwulf/pasta_curves-source.git synced 2026-09-03 19:53:40 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

clippy: Small cleanups

Browse source
This commit is contained in:
Jack Grigg 2021-01-14 13:16:56 +00:00 committed by Sean Bowe
parent 6dd7595438
commit 75915f67ed
No known key found for this signature in database
GPG key ID: 95684257D8F8B031
3 changed files with 7 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
src/plonk/vanishing/prover.rs
View file

@ -89,10 +89,10 @@ impl<C: CurveAffine> Constructed<C> {
}
impl<C: CurveAffine> Evaluated<C> {
pub(in crate::plonk) fn open<'a>(
&'a self,
pub(in crate::plonk) fn open(
&self,
x: ChallengeX<C>,
) -> impl Iterator<Item = ProverQuery<'a, C>> + Clone {
) -> impl Iterator<Item = ProverQuery<'_, C>> + Clone {
self.constructed
.h_pieces
.iter()

6
src/plonk/vanishing/verifier.rs
View file

@ -70,10 +70,10 @@ impl<C: CurveAffine> Evaluated<C> {
Ok(())
}
pub(in crate::plonk) fn queries<'a>(
&'a self,
pub(in crate::plonk) fn queries(
&self,
x: ChallengeX<C>,
) -> impl Iterator<Item = VerifierQuery<'a, C>> + Clone {
) -> impl Iterator<Item = VerifierQuery<'_, C>> + Clone {
self.h_commitments
.iter()
.zip(self.h_evals.iter())

2
src/poly/commitment/verifier.rs
View file

@ -160,7 +160,7 @@ fn compute_b<F: Field>(x: F, challenges: &[F]) -> F {
/// Computes the coefficients of $g(X) = \prod\limits_{i=0}^{k-1} (1 + u_i X^{2^i})$.
fn compute_s<F: Field>(challenges: &[F], init: F) -> Vec<F> {
assert!(challenges.len() > 0);
assert!(!challenges.is_empty());
let mut v = vec![F::zero(); 1 << challenges.len()];
v[0] = init;