verifiable_encryption 0.2.0

Verifiable encryption schemes - Encryption of discrete log from DKG-in-the-head
Documentation

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.