get_round_degree

remainder::sumcheck

Function get_round_degree 

Source 
pub(crate) fn get_round_degree<F: Field>(
    expr: &Expression<F, ProverExpr>,
    curr_round: usize,
) -> usize
Expand description

Returns the maximum degree of b_{curr_round} within an expression (and therefore the number of prover messages we need to send)