WireLabel

fancy_garbling

Trait WireLabel 

Source 
pub trait WireLabel:
    Clone
    + HasModulus
    + Add<Output = Self>
    + AddAssign
    + Sub<Output = Self>
    + SubAssign
    + Neg<Output = Self>
    + Mul<u16, Output = Self>
    + MulAssign<u16> {
    // Required methods
    fn digits(&self) -> Vec<u16>;
    fn to_repr(&self) -> U8x16;
    fn color(&self) -> u16;
    fn from_repr(inp: U8x16, q: u16) -> Self;
    fn rand_delta<R: CryptoRng + Rng>(rng: &mut R, q: u16) -> Self;
    fn rand<R: CryptoRng + RngCore>(rng: &mut R, q: u16) -> Self;
    fn hash_to_mod(hash: U8x16, q: u16) -> Self;

    // Provided methods
    fn hashback(&self, tweak: u128, q: u16) -> Self { ... }
    fn hash(&self, tweak: u128) -> U8x16 { ... }
    fn constant<RNG: CryptoRng + RngCore>(
        x: u16,
        q: u16,
        delta: &Self,
        rng: &mut RNG,
    ) -> (Self, Self) { ... }
}
Expand description

A trait that defines a wirelabel as used in garbled circuits.

At its core, a WireLabel is a way of encoding values, and operating on those encoded values.

Required Methods§

Source

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

The underlying digits encoded by the WireLabel.

Source

fn to_repr(&self) -> U8x16

Converts a WireLabel into its [U8x16] representation.

Source

fn color(&self) -> u16

The color digit of the wire.

Source

fn from_repr(inp: U8x16, q: u16) -> Self

Converts a [U8x16] into its WireLabel representation, based on the modulus q.

§Panics

This panics if q does not align with the modulus supported by the WireLabel.

Source

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

A random WireLabel mod q, with the first digit set to 1.

§Panics

This panics if q does not align with the modulus supported by the WireLabel.

Source

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

A random WireLabel mod q.

§Panics

This panics if q does not align with the modulus supported by the WireLabel.

Source

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

Converts a hashed block into a valid wire of the given modulus q.

This is useful when separately using hash_wires to hash a set of wires in one shot for efficiency reasons.

§Panics

This panics if q does not align with the modulus supported by the WireLabel.

Provided Methods§

Source

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

Computes the hash of this WireLabel, converting the result back into a WireLabel based on the modulus q.

This is equivalent to WireLabel::hash_to_mod(self.hash(tweak), q), and is useful when stringing together a sequence of operations on a WireLabel.

§Panics

This panics if q does not align with the modulus supported by the WireLabel.

Source

fn hash(&self, tweak: u128) -> U8x16

Computes the hash of the WireLabel.

Source

fn constant<RNG: CryptoRng + RngCore>( x: u16, q: u16, delta: &Self, rng: &mut RNG, ) -> (Self, Self)

Computes a WireLabel for x % q, returning both the zero WireLabel as well as the WireLabel for x % q.

Dyn Compatibility§

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors§