Module elastic_elgamal::app

source ·
Expand description

High-level applications for proofs defined in this crate.

For now, the applications are:

Structs§

Enums§

Traits§

  • Encapsulation of functionality for proving and verifying correctness of the sum of option ciphertexts in an EncryptedChoice.