Crate verifiable_encryption 

Verifiable encryption schemes

Verifiable encryption of discrete log(s) from the paper Verifiable Encryption from MPC-in-the-Head.

Adapted to allow encrypting messages of a generalized Pedersen commitment and some other optimizations. See the corresponding module for more details.

Modules

error

tz_21

Verifiable encryption of discrete log(s) from the paper Verifiable Encryption from MPC-in-the-Head Implements the following 2 schemes from the paper

Macros

hash_elem