#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

0.1.0 Dec 19, 2024

#1954 in Cryptography


Used in 2 crates (via 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–14MB
~169K SLoC