Module sp1_recursion_program::utils

Functions

• assert_challenger_eq_pv
  Asserts that the challenger variable is equal to a challenger in public values.
• assign_challenger_from_pv
  Assigns a challenger variable from a challenger in public values.
• clone
• clone_array
• const_fri_config
• felt2var
• get_challenger_public_values
• hash_vkey
  Hash the verifying key + prep domains into a single digest. poseidon2( commit[0..8] || pc_start || prep_domains[N].{log_n, .size, .shift, .g})
• var2felt