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§

source

type Proof: Sized + Serialize + DeserializeOwned

Produced / verified proofs.

Object Safety§

This trait is not object safe.

Implementors§