binius_core::protocols::abstract_sumcheck

Function validate_rd_challenge

source
pub fn validate_rd_challenge<F: Field>(
    prev_rd_challenge: Option<F>,
    round: usize,
) -> Result<(), Error>
Expand description

Ensures that previous round challenge is present if and only if not in the first round.