diff --git a/src/gates/random_access.rs b/src/gates/random_access.rs index 5bddf63c..9cc283de 100644 --- a/src/gates/random_access.rs +++ b/src/gates/random_access.rs @@ -1,8 +1,7 @@ use std::marker::PhantomData; -use std::ops::Range; use crate::field::extension_field::target::ExtensionTarget; -use crate::field::extension_field::{Extendable, FieldExtension}; +use crate::field::extension_field::Extendable; use crate::field::field_types::{Field, RichField}; use crate::gates::gate::Gate; use crate::iop::generator::{GeneratedValues, SimpleGenerator, WitnessGenerator}; @@ -113,7 +112,7 @@ impl, const D: usize> Gate for RandomAccessGa constraints.push(difference * equality_dummy - (F::Extension::ONE - index_matches)); constraints.push(index_matches * difference); // Value equality constraint. - constraints.push(((list_items[i] - claimed_element) * index_matches)); + constraints.push((list_items[i] - claimed_element) * index_matches); } } @@ -140,7 +139,7 @@ impl, const D: usize> Gate for RandomAccessGa constraints.push(difference * equality_dummy - (F::ONE - index_matches)); constraints.push(index_matches * difference); // Value equality constraint. - constraints.push(((list_items[i] - claimed_element) * index_matches)); + constraints.push((list_items[i] - claimed_element) * index_matches); } } diff --git a/src/hash/merkle_proofs.rs b/src/hash/merkle_proofs.rs index 3391bbff..ac40ffef 100644 --- a/src/hash/merkle_proofs.rs +++ b/src/hash/merkle_proofs.rs @@ -3,7 +3,6 @@ use std::convert::TryInto; use anyhow::{ensure, Result}; use serde::{Deserialize, Serialize}; -use crate::field::extension_field::target::ExtensionTarget; use crate::field::extension_field::Extendable; use crate::field::field_types::{Field, RichField}; use crate::hash::hash_types::{HashOut, HashOutTarget, MerkleCapTarget};