Module fri_log_up

Module fri_log_up 

Source

Structs§

FriLogUpPartialProof
FriLogUpPhase
FriLogUpProvingKey

Enums§

FriLogUpError

Constants§

STARK_LU_NUM_CHALLENGES
STARK_LU_NUM_EXPOSED_VALUES

Functions§

eval_fri_log_up_phase
The permutation row consists of 1 column for each bundle of interactions and one column for the partial sum of log derivative. These columns are trace columns “after challenge” phase 0, and they are valued in the extension field. For more details, see the comment in the trace.rs file