Trait ProveSum

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§

Available on crate feature serde only.

Produced / verified proofs.

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.