Struct zkevm_circuits::circuit_tools::cached_region::CachedRegion

pub struct CachedRegion<'r, 'b, F: Field> {
    pub advice: HashMap<(usize, usize), F>,
    pub fixed: HashMap<(usize, usize), F>,
    pub key_r: F,
    pub keccak_r: F,
    /* private fields */
}

Fields

advice: HashMap<(usize, usize), F>

fixed: HashMap<(usize, usize), F>

key_r: F

keccak_r: F

Implementations

impl<'r, 'b, F: Field> CachedRegion<'r, 'b, F>

pub fn assign_advice<'v, V, VR, A, AR>( &'v mut self, annotation: A, column: Column<Advice>, offset: usize, to: V ) -> Result<AssignedCell<VR, F>, Error>

where V: Fn() -> Value<VR> + 'v, for<'vr> Assigned<F>: From<&'vr VR>, A: Fn() -> AR, AR: Into<String>,

Assign an advice column value (witness).

pub fn name_column<A, AR, T>(&mut self, annotation: A, column: T)

where A: Fn() -> AR, AR: Into<String>, T: Into<Column<Any>>,

pub fn assign_fixed<'v, V, VR, A, AR>( &'v mut self, annotation: A, column: Column<Fixed>, offset: usize, to: V ) -> Result<AssignedCell<VR, F>, Error>

where V: Fn() -> Value<VR> + 'v, for<'vr> Assigned<F>: From<&'vr VR>, A: Fn() -> AR, AR: Into<String>,

pub fn get_fixed( &self, row_index: usize, column_index: usize, rotation: Rotation ) -> F

pub fn get_advice( &self, row_index: usize, column_index: usize, rotation: Rotation ) -> F

pub fn constrain_constant<VR>( &mut self, cell: AssignedCell<F, F>, constant: VR ) -> Result<(), Error>

where VR: Into<Assigned<F>>,

Constrains a cell to have a constant value.

Returns an error if the cell is in a column where equality has not been enabled.