Struct kimchi_visu::witness::Witness

pub struct Witness<F>where
    F: Field,{ /* private fields */ }

The type that represents the execution trace. It represents a table of [COLUMNS] columns, with n rows. n being the maximum size of the circuit, and the size of the domain.

Implementations

impl<F> Witness<F>where F: Field,

pub fn new(rows: usize) -> Self

Creates a new witness with rows rows.

pub fn inner(self) -> [Vec<F>; 15]

Returns the inner witness.

Trait Implementations

impl<F> Debug for Witness<F>where F: Field + Debug,

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

Formats the value using the given formatter.

impl<F> From<[Vec<F, Global>; 15]> for Witness<F>where F: Field,

fn from(inner: [Vec<F>; 15]) -> Self

Converts to this type from the input type.

impl<F> Serialize for Witness<F>where F: Field,

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>where __S: Serializer,

Serialize this value into the given Serde serializer.