franklin_crypto::plonk::circuit

Trait SomeArithmetizable

Source
pub trait SomeArithmetizable {
    // Required methods
    fn add(&self, other: &Self) -> Self;
    fn sub(&self, other: &Self) -> Self;
    fn mul(&self, other: &Self) -> Self;
    fn fma(&self, to_mul: &Self, to_add: &Self) -> Self;
    fn negate(&self) -> Self;
}

Required Methods§

Source

fn add(&self, other: &Self) -> Self

Source

fn sub(&self, other: &Self) -> Self

Source

fn mul(&self, other: &Self) -> Self

Source

fn fma(&self, to_mul: &Self, to_add: &Self) -> Self

Source

fn negate(&self) -> Self

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.

Implementations on Foreign Types§

Source§

impl<F: Field> SomeArithmetizable for Option<F>

Source§

fn add(&self, other: &Self) -> Self

Source§

fn sub(&self, other: &Self) -> Self

Source§

fn mul(&self, other: &Self) -> Self

Source§

fn fma(&self, to_mul: &Self, to_add: &Self) -> Self

Source§

fn negate(&self) -> Self

Implementors§