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

#[macro_use]
mod macros;
pub mod cdh;
pub mod detached;
pub mod keyed_verification;

use crate::{error::ProofSystemError, statement_proof::StatementProof};
use ark_ec::pairing::Pairing;

use ark_std::{io::Write, rand::RngCore};
use dock_crypto_utils::randomized_pairing_check::RandomizedPairingChecker;
use short_group_sig::common::ProvingKey;
use vb_accumulator::{
    kb_positive_accumulator::{
        proofs::{
            KBPositiveAccumulatorMembershipProof, KBPositiveAccumulatorMembershipProofProtocol,
        },
        setup::{
            PreparedPublicKey as KBPreparedPublicKey, PreparedSetupParams as KBPreparedAccumParams,
            PublicKey as KBPublicKey, SetupParams as KBAccumParams,
        },
    },
    kb_universal_accumulator::proofs::{
        KBUniversalAccumulatorMembershipProof,
        KBUniversalAccumulatorMembershipProofProtocol as KBUniMemProtocol,
        KBUniversalAccumulatorNonMembershipProof,
        KBUniversalAccumulatorNonMembershipProofProtocol as KBUniNonMemProtocol,
    },
    prelude::{
        MembershipProof, MembershipProofProtocol, MembershipProvingKey, NonMembershipProof,
        NonMembershipProofProtocol, NonMembershipProvingKey, PreparedPublicKey,
        PreparedSetupParams, PublicKey, SetupParams as AccumParams,
    },
};

impl_struct_and_funcs!(
    /// To prove membership in VB accumulator
    VBAccumulatorMembershipSubProtocol,
    AccumParams,
    PublicKey,
    PreparedSetupParams,
    PreparedPublicKey,
    MembershipProvingKey,
    MembershipProofProtocol,
    Membership,
    E::G1Affine,
    VBAccumulatorMembership,
    MembershipProof,
    VBAccumProofContributionFailed
);

impl_struct_and_funcs!(
    /// To prove non-membership in VB accumulator
    VBAccumulatorNonMembershipSubProtocol,
    AccumParams,
    PublicKey,
    PreparedSetupParams,
    PreparedPublicKey,
    NonMembershipProvingKey,
    NonMembershipProofProtocol,
    NonMembership,
    E::G1Affine,
    VBAccumulatorNonMembership,
    NonMembershipProof,
    VBAccumProofContributionFailed
);

impl_struct_and_funcs!(
    /// To prove membership in KB universal accumulator
    KBUniversalAccumulatorMembershipSubProtocol,
    AccumParams,
    PublicKey,
    PreparedSetupParams,
    PreparedPublicKey,
    ProvingKey,
    KBUniMemProtocol,
    KBUniMembership,
    E::G1Affine,
    KBUniversalAccumulatorMembership,
    KBUniversalAccumulatorMembershipProof,
    KBAccumProofContributionFailed
);

impl_struct_and_funcs!(
    /// To prove non-membership in KB universal accumulator
    KBUniversalAccumulatorNonMembershipSubProtocol,
    AccumParams,
    PublicKey,
    PreparedSetupParams,
    PreparedPublicKey,
    ProvingKey,
    KBUniNonMemProtocol,
    KBUniNonMembership,
    E::G1Affine,
    KBUniversalAccumulatorNonMembership,
    KBUniversalAccumulatorNonMembershipProof,
    KBAccumProofContributionFailed
);

impl_struct_and_funcs!(
    /// To prove membership in KB universal accumulator
    KBPositiveAccumulatorMembershipSubProtocol,
    KBAccumParams,
    KBPublicKey,
    KBPreparedAccumParams,
    KBPreparedPublicKey,
    ProvingKey,
    KBPositiveAccumulatorMembershipProofProtocol,
    KBPosMembership,
    E,
    KBPositiveAccumulatorMembership,
    KBPositiveAccumulatorMembershipProof,
    KBAccumProofContributionFailed
);