Struct WitnessLayout 

pub struct WitnessLayout<F: Field> { /* private fields */ }

Implementations

impl<F: Field> WitnessLayout<F>

pub fn sparse( constants: Vec<F>, n_inout: u32, n_precommit: u32, derived_alive: &[bool], private_alive: &[bool], ) -> Self

pub fn with_blinding(self, info: BlindingInfo) -> Self

pub const fn public_size(&self) -> usize

pub const fn precommit_size(&self) -> usize

pub const fn private_size(&self) -> usize

pub const fn n_constants(&self) -> usize

pub const fn n_inout(&self) -> usize

pub const fn n_derived(&self) -> usize

pub const fn n_precommit(&self) -> usize

pub const fn n_private(&self) -> usize

pub const fn log_public(&self) -> u32

pub const fn log_precommit(&self) -> u32

pub const fn log_private(&self) -> u32

pub fn get(&self, wire: &ConstraintWire) -> Option<WitnessIndex>

Trait Implementations

impl<F: Clone + Field> Clone for WitnessLayout<F>

fn clone(&self) -> WitnessLayout<F>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<F: Debug + Field> Debug for WitnessLayout<F>

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

Formats the value using the given formatter.