openvm_native_recursion::stark::outer

Function build_circuit_verify_operations

Source 
pub fn build_circuit_verify_operations(
    advice: MultiStarkVerificationAdvice<OuterConfig>,
    fri_params: &FriParameters,
    proof: &Proof<BabyBearPoseidon2RootConfig>,
) -> DslOperations<OuterConfig>