Trait snarkvm_wasm::traits::algorithms::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

type ParametersGadget: AllocGadget<<E as EncryptionScheme>::Parameters, F> + Clone[src]

type PrivateKeyGadget: AllocGadget<<E as EncryptionScheme>::PrivateKey, F> + ToBytesGadget<F> + Clone + Sized + Debug[src]

type PublicKeyGadget: AllocGadget<<E as EncryptionScheme>::PublicKey, F> + EqGadget<F> + ToBytesGadget<F> + Clone + Sized + Debug[src]

type CiphertextGadget: AllocGadget<Vec<<E as EncryptionScheme>::Text, Global>, F> + ToBytesGadget<F> + EqGadget<F> + Clone + Sized + Debug[src]

type PlaintextGadget: AllocGadget<Vec<<E as EncryptionScheme>::Text, Global>, F> + EqGadget<F> + Clone + Sized + Debug[src]

type RandomnessGadget: AllocGadget<<E as EncryptionScheme>::Randomness, F> + Clone + Sized + Debug[src]

type BlindingExponentGadget: AllocGadget<Vec<<E as EncryptionScheme>::BlindingExponent, Global>, F> + Clone + Sized + Debug[src]

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>, [src]

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>, [src]

Implementors

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]

type BlindingExponentGadget = GroupEncryptionBlindingExponentsGadget<G>

type CiphertextGadget = GroupEncryptionCiphertextGadget<G, F, GG>

type ParametersGadget = GroupEncryptionParametersGadget<G>

type PlaintextGadget = GroupEncryptionPlaintextGadget<G, F, GG>

type PrivateKeyGadget = GroupEncryptionPrivateKeyGadget<G>

type PublicKeyGadget = GroupEncryptionPublicKeyGadget<G, F, GG>

type RandomnessGadget = GroupEncryptionRandomnessGadget<G>

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]