Module witness 

Modules

constant_cell 🔒

copy_bits_cell 🔒

copy_cell 🔒

copy_shift_cell 🔒

index_cell 🔒

variable_bits_cell 🔒

variable_cell 🔒

variables 🔒

Macros

variable_map

Macro to simplify creation of layout map

variables

Macro to simplify mapping of layout variable

Structs

ConstantCell

Witness cell with constant value

CopyBitsCell

Witness cell copied from bits of another witness cell

CopyCell

Witness cell copied from another witness cell

CopyShiftCell

Witness cell copied from another cell and shifted

IndexCell

Witness cell assigned from an indexable variable See Variables for more details

VariableBitsCell

Witness cell assigned from bits of a variable See Variables for more details

VariableCell

Witness cell assigned from a variable See Variables for more details

Variables

Layout variables mapping - these values are substituted into the witness layout when creating the witness instance.

Traits

WitnessCell

Witness cell interface. By default, the witness cell is a single element of type F.

Functions

init

Initialize a witness based on layout and computed variables

init_cell

Initialize a witness cell based on layout and computed variables Inputs:

init_row

Initialize a witness row based on layout and computed variables