pub trait EncryptionGadget<E, F> where
E: EncryptionScheme,
F: Field, {
type ParametersGadget: AllocGadget<<E as EncryptionScheme>::Parameters, F> + Clone;
type PrivateKeyGadget: AllocGadget<<E as EncryptionScheme>::PrivateKey, F> + ToBytesGadget<F> + Clone + Sized + Debug;
type PublicKeyGadget: AllocGadget<<E as EncryptionScheme>::PublicKey, F> + EqGadget<F> + ToBytesGadget<F> + Clone + Sized + Debug;
type CiphertextGadget: AllocGadget<Vec<<E as EncryptionScheme>::Text, Global>, F> + ToBytesGadget<F> + EqGadget<F> + Clone + Sized + Debug;
type PlaintextGadget: AllocGadget<Vec<<E as EncryptionScheme>::Text, Global>, F> + EqGadget<F> + Clone + Sized + Debug;
type RandomnessGadget: AllocGadget<<E as EncryptionScheme>::Randomness, F> + Clone + Sized + Debug;
type BlindingExponentGadget: AllocGadget<Vec<<E as EncryptionScheme>::BlindingExponent, Global>, F> + Clone + Sized + Debug;
fn check_public_key_gadget<CS>(
cs: CS,
parameters: &Self::ParametersGadget,
private_key: &Self::PrivateKeyGadget
) -> Result<Self::PublicKeyGadget, SynthesisError>
where
CS: ConstraintSystem<F>;
fn check_encryption_gadget<CS>(
cs: CS,
parameters: &Self::ParametersGadget,
randomness: &Self::RandomnessGadget,
public_key: &Self::PublicKeyGadget,
input: &Self::PlaintextGadget,
blinding_exponents: &Self::BlindingExponentGadget
) -> Result<Self::CiphertextGadget, SynthesisError>
where
CS: ConstraintSystem<F>;
}