Type Alias Halo2AssignedCell

pub type Halo2AssignedCell<'v, F> = AssignedCell<&'v Assigned<F>, F>;

Raw (physical) assigned cell in Plonkish arithmetization.

Aliased Type

struct Halo2AssignedCell<'v, F> { /* private fields */ }

Implementations

impl<'v, F> AssignedCell<&'v Assigned<F>, F>

where F: Field,

pub fn copy_advice( &self, region: &mut Region<'_, F>, column: Column<Advice>, offset: usize, ) -> AssignedCell<&Assigned<F>, F>

Copies the value to a given advice cell and constrains them to be equal.

Returns an error if either this cell or the given cell are in columns where equality has not been enabled.

impl<V, F> AssignedCell<V, F>

where F: Field,

pub fn value(&self) -> Value<&V>

Returns the value of the AssignedCell.

pub fn cell(&self) -> Cell

Returns the cell.

pub fn row_offset(&self) -> usize

pub fn column(&self) -> &Column<Any>

impl<V, F> AssignedCell<V, F>

where F: Field, Assigned<F>: for<'v> From<&'v V>,

pub fn value_field(&self) -> Value<Assigned<F>>

Returns the field element value of the AssignedCell.

Trait Implementations

impl<V, F> Clone for AssignedCell<V, F>

where V: Clone, F: Clone + Field,

fn clone(&self) -> AssignedCell<V, F>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<V, F> Debug for AssignedCell<V, F>

where V: Debug, F: Debug + Field,

fn fmt(&self, f: &mut Formatter<'_>) -> Result<(), Error>

Formats the value using the given formatter.