Interface Field

expander_compiler/src/field.rs:8–18

use serdes::ExpSerde;

pub trait Field: FieldArith + ExpSerde {
    fn optimistic_inv(&self) -> Option<Self> {
        if self.is_zero() {
            None
        } else if *self == Self::ONE {
            Some(Self::ONE)
        } else {
            self.inv()
        }
    }
}

impl Field for BN254Fr {}
impl Field for GF2 {}