Enum AllWire

pub enum AllWire {
    Mod2(WireMod2),
    Mod3(WireMod3),
    ModN(WireModQ),
}

The core wire-label type.

Variants

Mod2(WireMod2)

Modulo2 Wire

Mod3(WireMod3)

Modulo3 Wire

ModN(WireModQ)

Modulo q Wire: 3 < q < 2^16

Trait Implementations

impl Clone for AllWire

fn clone(&self) -> AllWire

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for AllWire

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for AllWire

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl HasModulus for AllWire

fn modulus(&self) -> u16

The modulus of the wire.

impl PartialEq for AllWire

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

Tests for self and other values to be equal, and is used by ==.

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

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

impl Serialize for AllWire

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl WireLabel for AllWire

fn rand_delta<R: CryptoRng + Rng>(rng: &mut R, q: u16) -> Self

Get a random wire label mod q, with the first digit set to 1

fn digits(&self) -> Vec<u16>

Get the digits of the wire

fn as_block(&self) -> Block

Pack the wire into a Block.

fn color(&self) -> u16

Get the color digit of the wire.

fn plus_eq<'a>(&'a mut self, other: &Self) -> &'a mut Self

Add another wire digit-wise into this one. Assumes that both wires have the same modulus.

fn cmul_eq(&mut self, c: u16) -> &mut Self

Multiply each digit by a constant c mod q.

fn negate_eq(&mut self) -> &mut Self

Negate all the digits mod q.

fn from_block(inp: Block, q: u16) -> Self

Pack the wire into a Block.

fn zero(q: u16) -> Self

The zero wire with modulus q

fn rand<R: CryptoRng + RngCore>(rng: &mut R, q: u16) -> Self

Get a random wire mod q.

fn hash_to_mod(hash: Block, q: u16) -> Self

Subroutine of hashback that converts the hash block into a valid wire of the given modulus. Also useful when batching hashes ahead of time for later conversion.

fn hashback(&self, tweak: Block, q: u16) -> Self

Compute the hash of this wire, converting the result back to a wire.

fn negate_mov(self) -> Self

Negate all the digits mod q, consuming it for chained computations.

fn cmul_mov(self, c: u16) -> Self

Multiply each digit by a constant c mod q, consuming it for chained computations.

fn cmul(&self, c: u16) -> Self

Multiply each digit by a constant c mod q, returning a new wire.

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

Add another wire into this one, consuming it for chained computations.

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

Add two wires digit-wise, returning a new wire.

fn negate(&self) -> Self

Negate all the digits mod q, returning a new wire.

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

Subtract a wire from this one, consuming it for chained computations.

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

Subtract two wires, returning the result.

fn minus_eq<'a>(&'a mut self, other: &Self) -> &'a mut Self

Subtract a wire from this one.

fn hash(&self, tweak: Block) -> Block

Compute the hash of this wire.

impl ArithmeticWire for AllWire

impl StructuralPartialEq for AllWire