#verifiable #encryption #scheme #discrete #log #dkg-in-the-head #verifiable-encrypt

no-std verifiable_encryption

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

1 unstable release

new 0.1.0 Dec 19, 2024

#1604 in Cryptography


Used in proof_system

Apache-2.0

430KB
9K SLoC

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.


lib.rs:

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.

Dependencies

~6–13MB
~171K SLoC