Trait decaf377::r1cs::fqvar_ext::FqVarExtension

pub trait FqVarExtension: Sized {
    // Required methods
    fn isqrt(&self) -> Result<(Boolean<Fq>, FqVar), SynthesisError>;
    fn is_negative(&self) -> Result<Boolean<Fq>, SynthesisError>;
    fn is_nonnegative(&self) -> Result<Boolean<Fq>, SynthesisError>;
    fn abs(self) -> Result<Self, SynthesisError>;
}

Required Methods

fn isqrt(&self) -> Result<(Boolean<Fq>, FqVar), SynthesisError>

fn is_negative(&self) -> Result<Boolean<Fq>, SynthesisError>

fn is_nonnegative(&self) -> Result<Boolean<Fq>, SynthesisError>

fn abs(self) -> Result<Self, SynthesisError>

Object Safety

This trait is not object safe.

Implementors

impl FqVarExtension for FqVar