Function binius_core::protocols::abstract_sumcheck::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.