Lib.rs

› Cryptography
#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

by Lovesh Harchandani and 3 contributors

1 unstable release

0.1.0 Dec 19, 2024

#1916 in Cryptography

Download history 102/week @ 2024-12-14 17/week @ 2024-12-21 3/week @ 2025-01-04

122 downloads per month
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
~170K SLoC