Trait snarkvm_wasm::EncryptionGadget[−][src]

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>;
}

Associated Types

Required methods

Implementors