zebra_chain/primitives/
proofs.rs

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
//! ZK proofs used in Zcash.

use std::fmt::Debug;

use serde::{de::DeserializeOwned, Serialize};

use crate::serialization::{ZcashDeserialize, ZcashSerialize};

mod bctv14;
mod groth16;
mod halo2;

pub use self::bctv14::Bctv14Proof;
pub use self::groth16::Groth16Proof;
pub use self::halo2::Halo2Proof;

/// A marker trait used to abstract over BCTV14 or Groth16 proofs in JoinSplits.
pub trait ZkSnarkProof:
    Clone
    + Debug
    + PartialEq
    + Eq
    + Serialize
    + DeserializeOwned
    + ZcashSerialize
    + ZcashDeserialize
    + private::Sealed
{
}

impl ZkSnarkProof for Bctv14Proof {}
impl ZkSnarkProof for Groth16Proof {}

mod private {
    use super::*;

    pub trait Sealed {}
    impl Sealed for Bctv14Proof {}
    impl Sealed for Groth16Proof {}
}