ext_field_multiply

openvm_recursion_circuit::utils

Function ext_field_multiply 

Source 
pub fn ext_field_multiply<FA>(
    x: [impl Into<FA>; 4],
    y: [impl Into<FA>; 4],
) -> [FA; 4]
where
    FA: PrimeCharacteristicRing,
    FA::PrimeSubfield: BinomiallyExtendable<{ D_EF }>,