openvm_native_recursion::halo2::testing_utils

Function run_static_verifier_test

Source
pub fn run_static_verifier_test(
    test_proof_input: ProofInputForTest<BabyBearPoseidon2RootConfig>,
    fri_params: FriParameters,
) -> (Halo2VerifierProvingKey, Snark)