Skip to main content

WireLabel

fancy_garbling

Trait WireLabel 

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

    // Provided methods
    fn hash(&self, tweak: u128) -> U8x16 { ... }
    fn constant<RNG: CryptoRng>(
        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 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: &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>(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.

§Panics

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

Provided Methods§

Source

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

Computes the hash of the WireLabel.

Source

fn constant<RNG: CryptoRng>( 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".

Implementors§