Struct fancy_garbling::WireMod3

pub struct WireMod3 { /* private fields */ }

Representation of a mod-3 wire.

We represent a mod-3 wire by 64 mod-3 elements. These elements are stored as follows: the least-significant bits of each element are stored in lsb and the most-significant bits of each element are stored in msb. This representation allows for efficient addition and multiplication as described here by the paper “Hardware Implementation of Finite Fields of Characteristic Three.” D. Page, N.P. Smart. CHES 2002. Link: https://link.springer.com/content/pdf/10.1007/3-540-36400-5_38.pdf.

Trait Implementations

impl Clone for WireMod3

fn clone(&self) -> WireMod3

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for WireMod3

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

Formats the value using the given formatter.

impl Default for WireMod3

fn default() -> WireMod3

Returns the “default value” for a type.

impl HasModulus for WireMod3

fn modulus(&self) -> u16

The modulus of the wire.

impl PartialEq<WireMod3> for WireMod3

fn eq(&self, other: &WireMod3) -> 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 WireLabel for WireMod3

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 WireMod3

impl Copy for WireMod3

impl StructuralPartialEq for WireMod3