Struct StarkVerifyingParams

pub struct StarkVerifyingParams {
    pub width: TraceWidth,
    pub num_public_values: usize,
    pub num_exposed_values_after_challenge: Vec<usize>,
    pub num_challenges_to_sample: Vec<usize>,
}

Fields

width: TraceWidth

Trace sub-matrix widths

num_public_values: usize

Number of public values for this STARK only

num_exposed_values_after_challenge: Vec<usize>

Number of values to expose to verifier in each trace challenge phase

num_challenges_to_sample: Vec<usize>

For only this RAP, how many challenges are needed in each trace challenge phase

Trait Implementations

impl Clone for StarkVerifyingParams

fn clone(&self) -> StarkVerifyingParams

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for StarkVerifyingParams

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for StarkVerifyingParams

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for StarkVerifyingParams

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

where __S: Serializer,

Serialize this value into the given Serde serializer.