beta_cascade_step

remainder::sumcheck

Function beta_cascade_step 

Source 
pub(crate) fn beta_cascade_step<F: Field>(
    mle_successor_vec: &[Vec<F>],
    beta_val: F,
) -> Vec<Vec<F>>
Expand description

This is one step of the beta cascade algorithm, performing (1 - beta_val) * mle[index] + beta_val * mle[index + 1]