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

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

use crate::{error::ProofSystemError, setup_params::SetupParams, statement::Statement};
use ark_ec::pairing::Pairing;
use ark_serialize::{CanonicalDeserialize, CanonicalSerialize};
use ark_std::vec::Vec;
use dock_crypto_utils::serde_utils::*;
use serde::{Deserialize, Serialize};
use serde_with::serde_as;
use short_group_sig::common::ProvingKey;
use vb_accumulator::{
    kb_positive_accumulator::setup::{PublicKey as KBAccumPk, SetupParams as KBAccumParams},
    prelude::{
        MembershipProvingKey, NonMembershipProvingKey, PublicKey, SetupParams as AccumParams,
    },
};

impl_struct_and_funcs!(
    /// Public values like setup params, public key, proving key and accumulator for proving membership
    /// in positive and universal VB accumulator.
    VBAccumulatorMembership,
    AccumParams,
    VbAccumulatorParams,
    PublicKey,
    VbAccumulatorPublicKey,
    VBAccumulatorMembership,
    MembershipProvingKey,
    VbAccumulatorMemProvingKey
);

impl_struct_and_funcs!(
    /// Public values like setup params, public key, proving key and accumulator for proving non-membership
    /// in universal VB accumulator.
    VBAccumulatorNonMembership,
    AccumParams,
    VbAccumulatorParams,
    PublicKey,
    VbAccumulatorPublicKey,
    VBAccumulatorNonMembership,
    NonMembershipProvingKey,
    VbAccumulatorNonMemProvingKey
);

impl_struct_and_funcs!(
    /// Public values like setup params, public key, proving key and accumulator for proving membership
    /// in universal KB accumulator.
    KBUniversalAccumulatorMembership,
    AccumParams,
    VbAccumulatorParams,
    PublicKey,
    VbAccumulatorPublicKey,
    KBUniversalAccumulatorMembership,
    ProvingKey,
    BBSigProvingKey
);

impl_struct_and_funcs!(
    /// Public values like setup params, public key, proving key and accumulator for proving non-membership
    /// in universal K accumulator.
    KBUniversalAccumulatorNonMembership,
    AccumParams,
    VbAccumulatorParams,
    PublicKey,
    VbAccumulatorPublicKey,
    KBUniversalAccumulatorNonMembership,
    ProvingKey,
    BBSigProvingKey
);

impl_struct_and_funcs!(
    /// Public values like setup params, public key, proving key and accumulator for proving membership
    /// in positive KB accumulator.
    KBPositiveAccumulatorMembership,
    KBAccumParams,
    KBPositiveAccumulatorParams,
    KBAccumPk,
    KBPositiveAccumulatorPublicKey,
    KBPositiveAccumulatorMembership,
    ProvingKey,
    BBSigProvingKey
);

pub use detached::*;