Enum reverie::CombineOperation

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

Wraps Operation to define a field for each gate. Also supports conversions and metadata.

Variants

GF2(Operation<bool>)

Circuit Operation on GF2 Finite Field

Z64(Operation<u64>)

Circuit Operation on 64-bit integer ring

B2A(usize, usize)

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.

SizeHint(usize, usize)

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

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<(), Error>

Formats the value using the given formatter.

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

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

Deserialize this value from the given Serde deserializer.

impl From<Operation<bool>> for CombineOperation

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

Converts to this type from the input type.

impl From<Operation<u64>> for CombineOperation

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

Converts to this type from the input type.

impl HasConst<bool> for CombineOperation

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

For gates that include constant data (AddConst, MulConst, etc) provides a method to access the constant. Returns None for all other types of gates.

impl HasConst<u64> for CombineOperation

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

For gates that include constant data (AddConst, MulConst, etc) provides a method to access the constant. Returns None for all other types of gates.

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>,

For convenience, allows access to the (optional) output, since each gate only ever has one at most.

impl Identity<bool> for CombineOperation

fn is_identity(&self) -> bool

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

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

impl Identity<u64> for CombineOperation

fn is_identity(&self) -> bool

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

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

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: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for CombineOperation

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

Serialize this value into the given Serde serializer.

impl Translatable for CombineOperation

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

takes an iterator of input wires and an iterator of output wires, and creates a new gate of the same type using the inputs and outputs. The current input and output wires have no bearing on the new wires, just the gate type.

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

Takes a hashmap, and looks for existing wires in the keys. Replaces any existing wire keys with the value from the hashmap.

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>,

Calls a function on the I/O wires and replaces them with the output of the function.

impl Copy for CombineOperation

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

impl StructuralPartialEq for CombineOperation