interpolate_quadratic

openvm_recursion_circuit::utils

Function interpolate_quadratic 

Source 
pub fn interpolate_quadratic<FA>(
    pre_claim: [impl Into<FA>; 4],
    ev1: [impl Into<FA>; 4],
    ev2: [impl Into<FA>; 4],
    alpha: [impl Into<FA>; 4],
) -> [FA; 4]
where
    FA: PrimeCharacteristicRing,
    FA::PrimeSubfield: BinomiallyExtendable<{ D_EF }>,