Enum mcircuit::CombineOperation

pub enum CombineOperation {
    GF2(Operation<bool>),
    Z64(Operation<u64>),
    B2A(usize, usize),
    SizeHint(usize, usize),
}

Variants

GF2

Circuit Operation on GF2 Finite Field

Tuple Fields of GF2

0: Operation<bool>

Z64

Circuit Operation on 64-bit integer ring

Tuple Fields of Z64

0: Operation<u64>

B2A

Converts a value on GF2 to a value on Z64 Takes: (dst, src) where src is the low bit of the 64-bit GF2 slice This means that the least significant bit of the Z64 value will come from the GF2 wire with the lowest index. Make sure your circuits are designed accordingly.

Tuple Fields of B2A

0: usize1: usize

SizeHint

Information about the number of wires needed to evaluate the circuit. As with B2A, first item is Z64, second is GF2.

Tuple Fields of SizeHint

0: usize1: usize

Trait Implementations

impl Clone for CombineOperation

fn clone(&self) -> CombineOperation

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for CombineOperation

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for CombineOperation

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error> where
    __D: Deserializer<'de>, 

Deserialize this value from the given Serde deserializer.

impl From<Operation<bool>> for CombineOperation

fn from(op: Operation<bool>) -> Self

Performs the conversion.

impl From<Operation<u64>> for CombineOperation

fn from(op: Operation<u64>) -> Self

Performs the conversion.

impl HasConst<bool> for CombineOperation

fn constant(&self) -> Option<bool>

impl HasConst<u64> for CombineOperation

fn constant(&self) -> Option<u64>

impl HasIO for CombineOperation

fn inputs(&self) -> InputIterator<'_, CombineOperation>

fn outputs(&self) -> OutputIterator<'_, CombineOperation>

fn dst<'a>(&'a self) -> Option<usize> where
    Self: 'a + Sized,
    OutputIterator<'a, Self>: Iterator<Item = usize>, 

impl Identity<bool> for CombineOperation

fn is_identity(&self) -> bool

fn identity(w_out: usize, w_in: usize) -> Self

impl Identity<u64> for CombineOperation

fn is_identity(&self) -> bool

fn identity(w_out: usize, w_in: usize) -> Self

impl PartialEq<CombineOperation> for CombineOperation

fn eq(&self, other: &CombineOperation) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &CombineOperation) -> bool

This method tests for !=.

impl Serialize for CombineOperation

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error> where
    __S: Serializer, 

Serialize this value into the given Serde serializer.

impl Translatable for CombineOperation

fn translate<'a, I1, I2>(&self, win: I1, wout: I2) -> Option<Self> where
    Self: Sized,
    I1: Iterator<Item = usize>,
    I2: Iterator<Item = usize>, 

fn translate_from_hashmap<'a>(
    &'a self,
    translation_table: HashMap<usize, usize>
) -> Option<Self> where
    Self: Sized + HasIO,
    InputIterator<'a, Self>: Iterator<Item = usize>,
    OutputIterator<'a, Self>: Iterator<Item = usize>, 

fn translate_from_fn<'a>(
    &'a self,
    input_mapper: fn(_: usize) -> usize,
    output_mapper: fn(_: usize) -> usize
) -> Option<Self> where
    Self: Sized + HasIO,
    InputIterator<'a, Self>: Iterator<Item = usize>,
    OutputIterator<'a, Self>: Iterator<Item = usize>, 

impl<T: WireValue> Gate<T> for CombineOperation where
    CombineOperation: HasConst<T> + Identity<T>, 

impl StructuralPartialEq for CombineOperation