run_recursive_test

openvm_native_recursion::testing_utils::inner

Function run_recursive_test 

Source 
pub fn run_recursive_test(
    test_proof_input: ProofInputForTest<BabyBearPoseidon2Config>,
    fri_params: FriParameters,
)
Expand description

Steps of recursive tests:

  1. Generate a stark proof, P.
  2. build a verifier program which can verify P.
  3. Execute the verifier program and generate a proof.

This is a convenience function with default configs for testing purposes only.