logos-storage/plonky2
1
0
Fork 0
mirror of https://github.com/logos-storage/plonky2.git synced 2026-01-04 06:43:07 +00:00
Code Issues Packages Projects Releases Wiki Activity

comment fix

Browse Source
This commit is contained in:
Nicholas Ward 2022-08-25 09:24:53 -07:00
parent 0ac0975d95
commit b93f92e67e
1 changed files with 5 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
plonky2/src/gates/random_access.rs
View File

@ -24,13 +24,13 @@ use crate::plonk::vars::{
/// A gate for checking that a particular element of a list matches a given value. /// A gate for checking that a particular element of a list matches a given value.
#[derive(Copy, Clone, Debug)] #[derive(Copy, Clone, Debug)]
pub struct RandomAccessGate<F: RichField + Extendable<D>, const D: usize> { pub struct RandomAccessGate<F: RichField + Extendable<D>, const D: usize> {
// Number of bits in the index (log2 of the list size). /// Number of bits in the index (log2 of the list size).
pub bits: usize, pub bits: usize,
// How many separate copies are packed into one gate. /// How many separate copies are packed into one gate.
pub num_copies: usize, pub num_copies: usize,
// Leftover wires are used as global scratch space to store constants. /// Leftover wires are used as global scratch space to store constants.
pub num_extra_constants: usize, pub num_extra_constants: usize,
_phantom: PhantomData<F>, _phantom: PhantomData<F>,
@ -218,10 +218,12 @@ impl<F: RichField + Extendable<D>, const D: usize> Gate<F, D> for RandomAccessGa
.collect() .collect()
} }
// Check that the one remaining element after the folding is the claimed element.
debug_assert_eq!(list_items.len(), 1); debug_assert_eq!(list_items.len(), 1);
constraints.push(builder.sub_extension(list_items[0], claimed_element)); constraints.push(builder.sub_extension(list_items[0], claimed_element));
} }
// Check the constant values.
constraints.extend((0..self.num_extra_constants).map(|i| { constraints.extend((0..self.num_extra_constants).map(|i| {
builder.sub_extension( builder.sub_extension(
vars.local_constants[i], vars.local_constants[i],