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>;
}
impl<G, SG, D, F, GG> EncryptionGadget<GroupEncryption<G, SG, D>, F> for GroupEncryptionGadget<G, F, GG> where
G: Group + ProjectiveCurve,
D: Digest + Send + Sync,
SG: Group + CanonicalSerialize + CanonicalDeserialize,
F: PrimeField,
GG: CompressedGroupGadget<G, F>, [src]
pub fn check_public_key_gadget<CS>(
cs: CS,
parameters: &<GroupEncryptionGadget<G, F, GG> as EncryptionGadget<GroupEncryption<G, SG, D>, F>>::ParametersGadget,
private_key: &<GroupEncryptionGadget<G, F, GG> as EncryptionGadget<GroupEncryption<G, SG, D>, F>>::PrivateKeyGadget
) -> Result<<GroupEncryptionGadget<G, F, GG> as EncryptionGadget<GroupEncryption<G, SG, D>, F>>::PublicKeyGadget, SynthesisError> where
CS: ConstraintSystem<F>, [src]pub fn check_encryption_gadget<CS>(
cs: CS,
parameters: &<GroupEncryptionGadget<G, F, GG> as EncryptionGadget<GroupEncryption<G, SG, D>, F>>::ParametersGadget,
randomness: &<GroupEncryptionGadget<G, F, GG> as EncryptionGadget<GroupEncryption<G, SG, D>, F>>::RandomnessGadget,
public_key: &<GroupEncryptionGadget<G, F, GG> as EncryptionGadget<GroupEncryption<G, SG, D>, F>>::PublicKeyGadget,
input: &<GroupEncryptionGadget<G, F, GG> as EncryptionGadget<GroupEncryption<G, SG, D>, F>>::PlaintextGadget,
blinding_exponents: &<GroupEncryptionGadget<G, F, GG> as EncryptionGadget<GroupEncryption<G, SG, D>, F>>::BlindingExponentGadget
) -> Result<<GroupEncryptionGadget<G, F, GG> as EncryptionGadget<GroupEncryption<G, SG, D>, F>>::CiphertextGadget, SynthesisError> where
CS: ConstraintSystem<F>, [src]