Trait snarkvm_wasm::prelude::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
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>,