Struct StarkLogUpPhase

pub struct StarkLogUpPhase<F, Challenge, Challenger> { /* private fields */ }

Implementations

impl<F, Challenge, Challenger> StarkLogUpPhase<F, Challenge, Challenger>

pub fn new() -> Self

impl<F, Challenge, Challenger> StarkLogUpPhase<F, Challenge, Challenger>

where F: Field, Challenge: ExtensionField<F>, Challenger: FieldChallenger<F>,

pub fn generate_after_challenge_trace( all_interactions: &[Interaction<SymbolicExpression<F>>], trace_view: &PairTraceView<'_, F>, permutation_randomness: &[Challenge; 2], interaction_chunk_size: usize, ) -> Option<RowMajorMatrix<Challenge>>

where F: Field, Challenge: ExtensionField<F>,

Generate the permutation trace for a chip given the main trace. The permutation randomness is only available after the main trace from all chips involved in interactions have been committed.

• partitioned_main is the main trace, partitioned into several matrices of the same height

Returns the permutation trace as a matrix of extension field elements.

Panics

• If partitioned_main is empty.

Trait Implementations

impl<F: Default, Challenge: Default, Challenger: Default> Default for StarkLogUpPhase<F, Challenge, Challenger>

fn default() -> StarkLogUpPhase<F, Challenge, Challenger>

Returns the “default value” for a type.

impl<F, Challenge, Challenger> RapPhaseSeq<F, Challenge, Challenger> for StarkLogUpPhase<F, Challenge, Challenger>

where F: Field, Challenge: ExtensionField<F>, Challenger: FieldChallenger<F>,

const ID: RapPhaseSeqKind = RapPhaseSeqKind::StarkLogUp

type PartialProof = ()

type ProvingKey = StarkLogUpProvingKey

type Error = StarkLogUpError

fn generate_pk_per_air( &self, symbolic_constraints_per_air: Vec<SymbolicConstraints<F>>, ) -> Vec<Self::ProvingKey>

The protocol parameters for the challenge phases may depend on the AIR constraints.

fn partially_prove( &self, challenger: &mut Challenger, rap_pk_per_air: &[Self::ProvingKey], constraints_per_air: &[&SymbolicConstraints<F>], trace_view_per_air: &[PairTraceView<'_, F>], ) -> Option<(Self::PartialProof, RapPhaseProverData<Challenge>)>

Partially prove the challenge phases,

fn partially_verify<Commitment: Clone>( &self, challenger: &mut Challenger, _partial_proof: Option<&Self::PartialProof>, exposed_values_per_phase_per_air: &[Vec<Vec<Challenge>>], commitment_per_phase: &[Commitment], _permutation_opened_values: &[Vec<Vec<Vec<Challenge>>>], ) -> (RapPhaseVerifierData<Challenge>, Result<(), Self::Error>)

where Challenger: CanObserve<Commitment>,

Partially verifies the challenge phases.