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

use crate::prelude::StatementProof;
use ark_ec::pairing::Pairing;
use ark_serialize::{CanonicalDeserialize, CanonicalSerialize};
use ark_std::{collections::BTreeSet, vec::Vec};
use legogroth16::aggregation;
use serde::{Deserialize, Serialize};

#[derive(Clone, Debug, CanonicalSerialize, CanonicalDeserialize)]
pub struct AggregatedGroth16<E: Pairing> {
    pub proof: aggregation::groth16::AggregateProof<E>,
    pub statements: BTreeSet<usize>,
}

/// Created by the prover and verified by the verifier
#[derive(Clone, Debug, CanonicalSerialize, CanonicalDeserialize, Serialize, Deserialize)]
#[serde(bound = "")]
pub struct Proof<E: Pairing> {
    pub statement_proofs: Vec<StatementProof<E>>,
    // TODO: Remove this skip
    #[serde(skip)]
    pub aggregated_groth16: Option<Vec<AggregatedGroth16<E>>>,
    // TODO: Remove this skip
    #[serde(skip)]
    pub aggregated_legogroth16: Option<Vec<AggregatedGroth16<E>>>,
}

impl<E: Pairing> PartialEq for Proof<E> {
    fn eq(&self, other: &Self) -> bool {
        self.statement_proofs == other.statement_proofs
        // TODO: Add remaining
    }
}