jf_relation::gadgets

Trait EmulationConfig

Source
pub trait EmulationConfig<F: PrimeField>: PrimeField {
    const T: usize;
    const B: usize;
    const NUM_LIMBS: usize;
}
Expand description

Parameters needed for emulating field operations over [PrimeField].

Required Associated Constants§

Source

const T: usize

Log2 of the other CRT modulus is 2^T.

Source

const B: usize

Bit length of each limbs.

Source

const NUM_LIMBS: usize

B * NUM_LIMBS should equals to T.

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 EmulationConfig<Fp<MontBackend<FrConfig, 4>, 4>> for Fq

Source§

const T: usize = 500usize

Source§

const B: usize = 100usize

Source§

const NUM_LIMBS: usize = 5usize

Source§

impl EmulationConfig<Fp<MontBackend<FrConfig, 4>, 4>> for Fq

Source§

const T: usize = 300usize

Source§

const B: usize = 100usize

Source§

const NUM_LIMBS: usize = 3usize

Implementors§