decaf377::r1cs::fqvar_ext

Trait FqVarExtension

Source
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§

Source

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

Source

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

Source

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

Source

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

Dyn Compatibility§

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors§