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

use crate::{
    error::ProofSystemError,
    prelude::{SetupParams, Statement},
    setup_params::ElgamalEncryptionParams,
};
use ark_ec::{pairing::Pairing, AffineRepr};
use ark_serialize::{CanonicalDeserialize, CanonicalSerialize};
use ark_std::vec::Vec;
use dock_crypto_utils::serde_utils::ArkObjectBytes;
use serde::{Deserialize, Serialize};
use serde_with::serde_as;

#[serde_as]
#[derive(
    Clone, Debug, PartialEq, CanonicalSerialize, CanonicalDeserialize, Serialize, Deserialize,
)]
#[serde(bound = "")]
pub struct VerifiableEncryptionTZ21<G: AffineRepr> {
    pub enc_params: Option<ElgamalEncryptionParams<G>>,
    pub enc_params_ref: Option<usize>,
    #[serde_as(as = "Option<Vec<ArkObjectBytes>>")]
    pub comm_key: Option<Vec<G>>,
    pub comm_key_ref: Option<usize>,
}

impl<G: AffineRepr> VerifiableEncryptionTZ21<G> {
    /// Get statement for DKGitH protocol
    pub fn new_statement_from_params<E: Pairing<G1Affine = G>>(
        enc_params: ElgamalEncryptionParams<G>,
        comm_key: Vec<G>,
    ) -> Statement<E> {
        Statement::VeTZ21(Self {
            enc_params: Some(enc_params),
            comm_key: Some(comm_key),
            enc_params_ref: None,
            comm_key_ref: None,
        })
    }

    /// Get statement for Robust DKGitH protocol
    pub fn new_statement_from_params_for_robust<E: Pairing<G1Affine = G>>(
        enc_params: ElgamalEncryptionParams<G>,
        comm_key: Vec<G>,
    ) -> Statement<E> {
        Statement::VeTZ21Robust(Self {
            enc_params: Some(enc_params),
            comm_key: Some(comm_key),
            enc_params_ref: None,
            comm_key_ref: None,
        })
    }

    /// Get statement for DKGitH protocol
    pub fn new_statement_from_params_ref<E: Pairing<G1Affine = G>>(
        enc_params: usize,
        comm_key: usize,
    ) -> Statement<E> {
        Statement::VeTZ21(Self {
            enc_params: None,
            comm_key: None,
            enc_params_ref: Some(enc_params),
            comm_key_ref: Some(comm_key),
        })
    }

    /// Get statement for Robust DKGitH protocol
    pub fn new_statement_from_params_ref_for_robust<E: Pairing<G1Affine = G>>(
        enc_params: usize,
        comm_key: usize,
    ) -> Statement<E> {
        Statement::VeTZ21Robust(Self {
            enc_params: None,
            comm_key: None,
            enc_params_ref: Some(enc_params),
            comm_key_ref: Some(comm_key),
        })
    }

    pub fn get_comm_key<'a, E: Pairing<G1Affine = G>>(
        &'a self,
        setup_params: &'a [SetupParams<E>],
        st_idx: usize,
    ) -> Result<&'a Vec<G>, ProofSystemError> {
        extract_param!(
            setup_params,
            &self.comm_key,
            self.comm_key_ref,
            PedersenCommitmentKey,
            IncompatibleBoundCheckSetupParamAtIndex,
            st_idx
        )
    }

    pub fn get_enc_params<'a, E: Pairing<G1Affine = G>>(
        &'a self,
        setup_params: &'a [SetupParams<E>],
        st_idx: usize,
    ) -> Result<&'a ElgamalEncryptionParams<G>, ProofSystemError> {
        extract_param!(
            setup_params,
            &self.enc_params,
            self.enc_params_ref,
            ElgamalEncryption,
            IncompatibleBoundCheckSetupParamAtIndex,
            st_idx
        )
    }
}