Struct WireMod3

Source
pub struct WireMod3 { /* private fields */ }
Expand description

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§

Source§

impl Clone for WireMod3

Source§

fn clone(&self) -> WireMod3

Returns a duplicate of the value. Read more
1.0.0 · Source§

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

Performs copy-assignment from source. Read more
Source§

impl Debug for WireMod3

Source§

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

Formats the value using the given formatter. Read more
Source§

impl Default for WireMod3

Source§

fn default() -> WireMod3

Returns the “default value” for a type. Read more
Source§

impl<'de> Deserialize<'de> for WireMod3

Source§

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

Deserialize this value from the given Serde deserializer. Read more
Source§

impl HasModulus for WireMod3

Source§

fn modulus(&self) -> u16

The modulus of the wire.
Source§

impl PartialEq for WireMod3

Source§

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

Tests for self and other values to be equal, and is used by ==.
1.0.0 · Source§

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

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

impl Serialize for WireMod3

Source§

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

Serialize this value into the given Serde serializer. Read more
Source§

impl WireLabel for WireMod3

Source§

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
Source§

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

Get the digits of the wire
Source§

fn as_block(&self) -> Block

Pack the wire into a Block.
Source§

fn color(&self) -> u16

Get the color digit of the wire.
Source§

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.
Source§

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

Multiply each digit by a constant c mod q.
Source§

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

Negate all the digits mod q.
Source§

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

Pack the wire into a Block.
Source§

fn zero(q: u16) -> Self

The zero wire with modulus q
Source§

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

Get a random wire mod q.
Source§

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.
Source§

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

Compute the hash of this wire, converting the result back to a wire. Read more
Source§

fn negate_mov(self) -> Self

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

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

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

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

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

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

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

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

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

fn negate(&self) -> Self

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

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

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

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

Subtract two wires, returning the result.
Source§

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

Subtract a wire from this one.
Source§

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

Compute the hash of this wire. Read more
Source§

impl ArithmeticWire for WireMod3

Source§

impl Copy for WireMod3

Source§

impl StructuralPartialEq for WireMod3

Auto Trait Implementations§

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> CloneToUninit for T
where T: Clone,

Source§

unsafe fn clone_to_uninit(&self, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dest. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T> IntoEither for T

Source§

fn into_either(self, into_left: bool) -> Either<Self, Self>

Converts self into a Left variant of Either<Self, Self> if into_left is true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
Source§

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

Converts self into a Left variant of Either<Self, Self> if into_left(&self) returns true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
§

impl<T> IsSameType<T> for T

§

const WITNESS: Witness<<T as IsSameType<T>>::EqualityProposition> = Witness::EQUAL_TYPES

A [Witness] that Self == T Read more
§

type EqualityProposition = TrueEqualityProposition

The [EqualityProposition] that Self == T
Source§

impl<T> Same for T

Source§

type Output = T

Should always be Self
Source§

impl<T> ToOwned for T
where T: Clone,

Source§

type Owned = T

The resulting type after obtaining ownership.
Source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
Source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
§

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

§

fn vzip(self) -> V

Source§

impl<T> DeserializeOwned for T
where T: for<'de> Deserialize<'de>,