arcium-primitives 0.6.0

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
70
71
72
73

use std::fmt::Debug;

use serde::{de::DeserializeOwned, Serialize};
use wincode::{SchemaRead, SchemaWrite};

use crate::{
    random::RandomWith,
    sharing::{PairwiseAuthenticated, Reconstructible, Verifiable},
    types::Batched,
};

pub mod bundler;
pub mod generator;
pub mod stream;
pub mod types;

pub use types::{dabits, powpairs, singlets, triples};

/// A marker trait for input-independent correlated randomness types that can be
/// consumed in the (input-dependent) online phase to speed it up.
/// Includes verification and random generation capabilities.
pub trait Correlation:
    'static
    + Debug
    + Sized
    + Send
    + Sync
    + Clone
    + PartialEq
    + Serialize
    + DeserializeOwned
    + SchemaWrite<Src = Self>
    + for<'a> SchemaRead<'a>
    + Reconstructible
    + Verifiable
    + PairwiseAuthenticated
    + RandomWith<Vec<Self::GlobalAuthKey>>
{
}

impl<
        T: 'static
            + Debug
            + Sized
            + Send
            + Sync
            + Clone
            + PartialEq
            + Serialize
            + DeserializeOwned
            + Verifiable
            + PairwiseAuthenticated
            + RandomWith<Vec<Self::GlobalAuthKey>>
            + for<'a> wincode::SchemaRead<'a, Dst = T>
            + wincode::SchemaWrite<Src = T>,
    > Correlation for T
{
}

/// A marker trait for input-independent types that can be generated in batches, i.e. for which it
/// is more efficient to generate/request/verify multiple elements at once rather than one at a
/// time.
pub trait CorrelatedBatch:
    Correlation<GlobalAuthKey = <Self::Item as PairwiseAuthenticated>::GlobalAuthKey>
    + Batched<Item: Correlation>
{
}
impl<
        T: Correlation<GlobalAuthKey = <T::Item as PairwiseAuthenticated>::GlobalAuthKey>
            + Batched<Item: Correlation>,
    > CorrelatedBatch for T
{
}