Struct swiftness::PublicInput

pub struct PublicInput {

    pub log_n_steps: u32,
    pub range_check_min: u32,
    pub range_check_max: u32,
    pub layout: BigUint,
    pub dynamic_params: BTreeMap<String, u32>,
    pub n_segments: usize,
    pub segments: Vec<SegmentInfo>,
    pub padding_addr: u32,
    pub padding_value: BigUint,
    pub main_page_len: usize,
    pub main_page: Vec<PubilcMemoryCell>,
    pub n_continuous_pages: usize,
    pub continuous_page_headers: Vec<BigUint>,
}

Fields

log_n_steps: u32

range_check_min: u32

range_check_max: u32

layout: BigUint

dynamic_params: BTreeMap<String, u32>

n_segments: usize

segments: Vec<SegmentInfo>

padding_addr: u32

padding_value: BigUint

main_page_len: usize

main_page: Vec<PubilcMemoryCell>

n_continuous_pages: usize

continuous_page_headers: Vec<BigUint>

Trait Implementations

impl Clone for PublicInput

fn clone(&self) -> PublicInput

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for PublicInput

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

Formats the value using the given formatter.

impl PartialEq for PublicInput

fn eq(&self, other: &PublicInput) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl TransformTo<PublicInput> for PublicInput

fn transform_to(self) -> PublicInputVerifier

impl StructuralPartialEq for PublicInput