Function sp1_core::stark::generate_permutation_trace

source ยท
pub fn generate_permutation_trace<F: PrimeField, EF: ExtensionField<F>>(
    sends: &[Interaction<F>],
    receives: &[Interaction<F>],
    preprocessed: Option<&RowMajorMatrix<F>>,
    main: &RowMajorMatrix<F>,
    random_elements: &[EF],
    batch_size: usize,
) -> RowMajorMatrix<EF>
Expand description

Generates the permutation trace for the given chip and main trace based on a variant of LogUp.

The permutation trace has (N+1)*EF::NUM_COLS columns, where N is the number of interactions in the chip.