octo
/
Zebra
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Stop allowing JoinSplit<Halo2>

This commit is contained in:
teor 2021-07-01 16:58:22 +10:00 committed by Deirdre Connolly
parent 11d8389371
commit 14137bfc8e
1 changed files with 2 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
zebra-chain/src/primitives/proofs.rs
View File

@ -14,7 +14,7 @@ pub use self::bctv14::Bctv14Proof;
pub use self::groth16::Groth16Proof; pub use self::groth16::Groth16Proof;
pub use self::halo2::Halo2Proof; pub use self::halo2::Halo2Proof;
/// A marker trait used to abstract over BCTV14, Groth16, or Halo2 proofs. /// A marker trait used to abstract over BCTV14 or Groth16 proofs in JoinSplits.
pub trait ZkSnarkProof: pub trait ZkSnarkProof:
Clone Clone
+ Debug + Debug
@ -27,9 +27,9 @@ pub trait ZkSnarkProof:
+ private::Sealed + private::Sealed
{ {
} }
impl ZkSnarkProof for Bctv14Proof {} impl ZkSnarkProof for Bctv14Proof {}
impl ZkSnarkProof for Groth16Proof {} impl ZkSnarkProof for Groth16Proof {}
impl ZkSnarkProof for Halo2Proof {}
mod private { mod private {
use super::*; use super::*;
@ -37,5 +37,4 @@ mod private {
pub trait Sealed {} pub trait Sealed {}
impl Sealed for Bctv14Proof {} impl Sealed for Bctv14Proof {}
impl Sealed for Groth16Proof {} impl Sealed for Groth16Proof {}
impl Sealed for Halo2Proof {}
} }