pub trait ProveSum<G: Group>: Clone + Sealed {
type Proof: Sized + Serialize + DeserializeOwned;
}Expand description
Encapsulation of functionality for proving and verifying correctness of the sum of option
ciphertexts in an EncryptedChoice.
This trait is not meant to be implemented for external types.
Required Associated Types§
Sourcetype Proof: Sized + Serialize + DeserializeOwned
type Proof: Sized + Serialize + DeserializeOwned
Produced / verified proofs.
Dyn Compatibility§
This trait is not dyn compatible.
In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.