vsss-rs 5.4.0

Verifiable Secret Sharing Schemes for splitting, combining and verifying secret shares
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
74
75
76

#[macro_export]
/// Implements all the VSSS traits for a fixed array
macro_rules! vsss_fixed_array_impl {
    ($name:ident, $pedersen_result:ident, $threshold:expr, $shares:expr) => {
        #[derive(Debug, Copy, Clone)]
        /// A Vsss implementation
        pub struct $name<S: Share, V: ShareVerifier<S>>(core::marker::PhantomData<(S, V)>);

        impl<S: Share, V: ShareVerifier<S>> Shamir<S> for $name<S, V> {
            type InnerPolynomial = [S; $threshold];
            type ShareSet = [S; $shares];
        }

        impl<S: Share, V: ShareVerifier<S>> Feldman<S, V> for $name<S, V> {
            type VerifierSet = [V; $threshold + 1];
        }

        impl<S: Share, V: ShareVerifier<S>> Pedersen<S, V> for $name<S, V> {
            type FeldmanVerifierSet = [V; $threshold + 1];
            type PedersenVerifierSet = [V; $threshold + 2];
            type PedersenResult = $pedersen_result<S, V>;
        }

        /// A pedersen result for static arrays
        #[derive(Debug, Copy, Clone)]
        pub struct $pedersen_result<S: Share, V: ShareVerifier<S>> {
            blinder: S::Value,
            secret_shares: [S; $shares],
            blinder_shares: [S; $shares],
            feldman_verifier_set: [V; $threshold + 1],
            pedersen_verifier_set: [V; $threshold + 2],
        }

        impl<S: Share, V: ShareVerifier<S>> PedersenResult<S, V> for $pedersen_result<S, V> {
            type ShareSet = [S; $shares];
            type FeldmanVerifierSet = [V; $threshold + 1];
            type PedersenVerifierSet = [V; $threshold + 2];

            fn new(
                blinder: S::Value,
                secret_shares: Self::ShareSet,
                blinder_shares: Self::ShareSet,
                feldman_verifier_set: Self::FeldmanVerifierSet,
                pedersen_verifier_set: Self::PedersenVerifierSet,
            ) -> Self {
                Self {
                    blinder,
                    secret_shares,
                    blinder_shares,
                    feldman_verifier_set,
                    pedersen_verifier_set,
                }
            }

            fn blinder(&self) -> &S::Value {
                &self.blinder
            }

            fn secret_shares(&self) -> &Self::ShareSet {
                &self.secret_shares
            }

            fn blinder_shares(&self) -> &Self::ShareSet {
                &self.blinder_shares
            }

            fn feldman_verifier_set(&self) -> &Self::FeldmanVerifierSet {
                &self.feldman_verifier_set
            }

            fn pedersen_verifier_set(&self) -> &Self::PedersenVerifierSet {
                &self.pedersen_verifier_set
            }
        }
    };
}