Trait mcircuit::Identity

source · [−]
pub trait Identity<T> {
    fn is_identity(&self) -> bool;

    fn identity(w_out: usize, w_in: usize) -> Self;
}
Expand description

Trait related to buffer gates. If the gate doesn’t change its input value (ie adding zero, multiplying by one), then we say this is an “identity” gate, eligible to be folded out. !

Required methods

Used to produce an identity gate on the current field when needed.

Implementors