sunscreen_math 0.10.0

This crate contains GPU implementations that support the Sunscreen compiler.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34

/// For an algebraic structure, this defines the additive identity.
pub trait Zero
where
    Self: Sized,
{
    /// The additive identity.
    fn zero() -> Self;

    /// Whether or not this item is zero.
    fn vartime_is_zero(&self) -> bool;
}

/// For an algebraic structure, this defines the multiplicative identity.
pub trait One
where
    Self: Sized,
{
    /// The multiplicative identity.
    fn one() -> Self;
}

/// Methods for switching elements between finite rings.
pub trait ModSwitch<R> {
    /// Treat the input value as unsigned in the current Ring and produce
    /// the same unsigned value in the ring `R`.
    fn mod_switch_unsigned(&self) -> R;

    /// Treat the input value as signed in the current field
    /// (i.e. [-q/2, q/2]) and produce the same signed value in `R`
    /// (i.e. [-p/2, p/2]).
    fn mod_switch_signed(&self) -> R;
}

pub use num::traits::ToBytes;