Stop allowing JoinSplit<Halo2>
@@ -14,7 +14,7 @@ pub use self::bctv14::Bctv14Proof;
pub use self::groth16::Groth16Proof;
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:
Clone
+ Debug
@@ -27,9 +27,9 @@ pub trait ZkSnarkProof:
+ private::Sealed
{
}
+
impl ZkSnarkProof for Bctv14Proof {}
impl ZkSnarkProof for Groth16Proof {}
-impl ZkSnarkProof for Halo2Proof {}
mod private {
use super::*;
@@ -37,5 +37,4 @@ mod private {
pub trait Sealed {}
impl Sealed for Bctv14Proof {}
impl Sealed for Groth16Proof {}
- impl Sealed for Halo2Proof {}
}
