Struct FriLogUpPhase

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

Implementations

impl<F, Challenge, Challenger> FriLogUpPhase<F, Challenge, Challenger>

pub fn new(log_up_params: LogUpSecurityParameters) -> Self

impl<F, Challenge, Challenger> FriLogUpPhase<F, Challenge, Challenger>

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

pub fn generate_after_challenge_trace( all_interactions: &[SymbolicInteraction<F>], trace_view: &PairView<&'_ RowMajorMatrix<F>, F>, permutation_randomness: &[Challenge; 2], interaction_partitions: &[Vec<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, Challenge, Challenger> RapPhaseSeq<F, Challenge, Challenger> for FriLogUpPhase<F, Challenge, Challenger>

where F: Field, Challenge: ExtensionField<F>, Challenger: FieldChallenger<F> + GrindingChallenger<Witness = F>,

const ID: RapPhaseSeqKind = RapPhaseSeqKind::FriLogUp

type PartialProof = FriLogUpPartialProof<F>

type PartialProvingKey = FriLogUpProvingKey

Preprocessed data necessary for the RAP partial proving

type Error = FriLogUpError

fn log_up_security_params(&self) -> &LogUpSecurityParameters

fn generate_pk_per_air( &self, symbolic_constraints_per_air: &[SymbolicConstraints<F>], max_constraint_degree: usize, ) -> Vec<Self::PartialProvingKey>

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

fn partially_prove( &self, challenger: &mut Challenger, constraints_per_air: &[&SymbolicConstraints<F>], params_per_air: &[&FriLogUpProvingKey], trace_view_per_air: &[PairView<&'_ RowMajorMatrix<F>, 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.