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.