Pacify clippy (#1403)

This commit is contained in:
Robin Salen 2023-12-04 09:51:48 -05:00 committed by GitHub
parent d682769b2e
commit d28ba24059
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
3 changed files with 3 additions and 3 deletions

View File

@ -124,7 +124,7 @@ pub(crate) const RANGE_MAX: usize = 1usize << 16; // Range check strict upper bo
impl<F: RichField, const D: usize> ArithmeticStark<F, D> {
/// Expects input in *column*-major layout
fn generate_range_checks(&self, cols: &mut Vec<Vec<F>>) {
fn generate_range_checks(&self, cols: &mut [Vec<F>]) {
debug_assert!(cols.len() == columns::NUM_ARITH_COLUMNS);
let n_rows = cols[0].len();

View File

@ -227,7 +227,7 @@ impl<F: RichField + Extendable<D>, const D: usize> BytePackingStark<F, D> {
}
/// Expects input in *column*-major layout
fn generate_range_checks(&self, cols: &mut Vec<Vec<F>>) {
fn generate_range_checks(&self, cols: &mut [Vec<F>]) {
debug_assert!(cols.len() == NUM_COLUMNS);
let n_rows = cols[0].len();

View File

@ -482,7 +482,7 @@ impl<F: RichField + Extendable<D>, const D: usize> KeccakSpongeStark<F, D> {
}
/// Expects input in *column*-major layout
fn generate_range_checks(&self, cols: &mut Vec<Vec<F>>) {
fn generate_range_checks(&self, cols: &mut [Vec<F>]) {
debug_assert!(cols.len() == NUM_KECCAK_SPONGE_COLUMNS);
let n_rows = cols[0].len();