arcium-primitives 0.7.2

Arcium primitives
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
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69

// Secret sharing schemes.
pub mod authenticated;
pub mod reconstructible;
pub mod threat_model;
pub mod unauthenticated;

use std::{
    fmt::Debug,
    ops::{Add, Neg, Sub},
};

pub use authenticated::*;
pub use reconstructible::Reconstructible;
use serde::{de::DeserializeOwned, Serialize};
pub use threat_model::*;
pub use unauthenticated::*;
use wincode::{SchemaRead, SchemaWrite};

/// Secret share bounds, allowing arithmetic operations and reconstruction. Sharing/inputting a
/// secret might requre communication and is thus deferred to the online phase.
pub trait SecretShare:
    Reconstructible
    + PlaintextOps<<Self as Reconstructible>::Value>
    + Clone
    + Debug
    + Send
    + Sync
    + 'static
    + PartialEq
    + Serialize
    + DeserializeOwned
    + SchemaWrite<Src = Self>
    + for<'de> SchemaRead<'de, Dst = Self>
    + for<'a> Add<&'a Self, Output = Self>
    + for<'s> Sub<&'s Self, Output = Self>
    + Neg<Output = Self>
{
}

impl<T> SecretShare for T where
    T: Reconstructible
        + PlaintextOps<<Self as Reconstructible>::Value>
        + Clone
        + Debug
        + Send
        + Sync
        + 'static
        + PartialEq
        + Serialize
        + DeserializeOwned
        + SchemaWrite<Src = Self>
        + for<'de> SchemaRead<'de, Dst = Self>
        + for<'a> Add<&'a Self, Output = Self>
        + for<'a> Sub<&'a Self, Output = Self>
        + Neg<Output = Self>
{
}

/// Operates a secret share with a public plaintext (addition/subtraction). These are often
/// asymmetric (e.g., only the first peer folds the constant into its share). Scaling a share by a
/// public constant is expressed directly through `Mul` where needed, so it is not part of this
/// trait.
pub trait PlaintextOps<Plaintext = <Self as Reconstructible>::Value>: Reconstructible {
    /// Add a plaintext to the share, consuming the share and returning a new one.
    fn add_plaintext(self, ptx: &Plaintext, is_first_peer: bool) -> Self;

    /// Subtract a plaintext from the share, consuming the share and returning a new one.
    fn sub_plaintext(self, ptx: &Plaintext, is_first_peer: bool) -> Self;
}