openvm_stark_backend::interaction

Module stark_log_up

Source

Structs§

Enums§

Constants§

Functions§

  • eval_stark_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