sp1_recursion_program::utils

Function assert_challenger_eq_pv

Source 
pub fn assert_challenger_eq_pv<C: Config>(
    builder: &mut Builder<C>,
    var: &DuplexChallengerVariable<C>,
    values: ChallengerPublicValues<Felt<C::F>>,
)
Expand description

Asserts that the challenger variable is equal to a challenger in public values.