Trait snarkvm_wasm::EncryptionGadget

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

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

Required methods

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>, 

Implementors