proof_system 0.34.0

Proof system to comprise various cryptographic 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
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132

macro_rules! impl_pk_and_param_getters {
    ($param_type: ident, $param_variant: ident, $pk_type: ident, $pk_variant: ident) => {
        /// Get accumulator params for the statement index `s_idx` either from `self` or from given `setup_params`
        pub fn get_params<'a>(
            &'a self,
            setup_params: &'a [SetupParams<E>],
            st_idx: usize,
        ) -> Result<&'a $param_type<E>, ProofSystemError> {
            extract_param!(
                setup_params,
                &self.params,
                self.params_ref,
                $param_variant,
                IncompatibleAccumulatorSetupParamAtIndex,
                st_idx
            )
        }

        /// Get public key for the statement index `s_idx` either from `self` or from given `setup_params`
        pub fn get_public_key<'a>(
            &'a self,
            setup_params: &'a [SetupParams<E>],
            st_idx: usize,
        ) -> Result<&'a $pk_type<E>, ProofSystemError> {
            extract_param!(
                setup_params,
                &self.public_key,
                self.public_key_ref,
                $pk_variant,
                IncompatibleAccumulatorSetupParamAtIndex,
                st_idx
            )
        }
    };
}

macro_rules! impl_getters {
    ( $param_type: ident, $param_variant: ident, $pk_type: ident, $pk_variant: ident, $prk_type:ident, $prk_variant:ident) => {
        impl_pk_and_param_getters!($param_type, $param_variant, $pk_type, $pk_variant);

        /// Get membership proving key for the statement index `s_idx` either from `self` or from given `setup_params`
        pub fn get_proving_key<'a>(
            &'a self,
            setup_params: &'a [SetupParams<E>],
            st_idx: usize,
        ) -> Result<&'a $prk_type<E::G1Affine>, ProofSystemError> {
            extract_param!(
                setup_params,
                &self.proving_key,
                self.proving_key_ref,
                $prk_variant,
                IncompatibleAccumulatorSetupParamAtIndex,
                st_idx
            )
        }
    };
}

macro_rules! impl_struct_and_funcs {
    ($(#[$doc:meta])*
    $name:ident, $param_type: ident, $param_variant: ident, $pk_type: ident, $pk_variant: ident, $statement_variant:ident, $prk_type:ident, $prk_variant:ident) => {
        #[serde_as]
        #[derive(
            Clone,
            Debug,
            PartialEq,
            Eq,
            CanonicalSerialize,
            CanonicalDeserialize,
            Serialize,
            Deserialize,
        )]
        #[serde(bound = "")]
        pub struct $name<E: Pairing> {
            #[serde_as(as = "ArkObjectBytes")]
            pub accumulator_value: E::G1Affine,
            pub params: Option<$param_type<E>>,
            pub public_key: Option<$pk_type<E>>,
            pub proving_key: Option<$prk_type<E::G1Affine>>,
            pub params_ref: Option<usize>,
            pub public_key_ref: Option<usize>,
            pub proving_key_ref: Option<usize>,
        }

        impl<E: Pairing> $name<E> {
            /// Create a statement by passing the accumulator params, public key and proving key directly.
            pub fn new_statement_from_params(
                params: $param_type<E>,
                public_key: $pk_type<E>,
                proving_key: $prk_type<E::G1Affine>,
                accumulator_value: E::G1Affine,
            ) -> Statement<E> {
                Statement::$statement_variant(Self {
                    accumulator_value,
                    params: Some(params),
                    public_key: Some(public_key),
                    proving_key: Some(proving_key),
                    params_ref: None,
                    public_key_ref: None,
                    proving_key_ref: None,
                })
            }

            /// Create a statement by passing the indices of accumulator params, public key and proving key in `SetupParams`.
            pub fn new_statement_from_params_ref(
                params_ref: usize,
                public_key_ref: usize,
                proving_key_ref: usize,
                accumulator_value: E::G1Affine,
            ) -> Statement<E> {
                Statement::$statement_variant(Self {
                    accumulator_value,
                    params: None,
                    public_key: None,
                    proving_key: None,
                    params_ref: Some(params_ref),
                    public_key_ref: Some(public_key_ref),
                    proving_key_ref: Some(proving_key_ref),
                })
            }

            impl_getters!(
                $param_type,
                $param_variant,
                $pk_type,
                $pk_variant,
                $prk_type,
                $prk_variant
            );
        }
    };
}