Lib.rs

› Cryptography
#verifiable #encryption #discrete #log #commitment #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

2 unstable releases

0.2.0 Feb 24, 2025
0.1.0 Dec 19, 2024

#2005 in Cryptography

Download history 114/week @ 2024-12-15 5/week @ 2024-12-22 3/week @ 2025-01-05 1/week @ 2025-02-02 3/week @ 2025-02-09 8/week @ 2025-02-16 139/week @ 2025-02-23 18/week @ 2025-03-02

168 downloads per month
Used in 2 crates (via proof_system)

Apache-2.0

450KB
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

~7–15MB
~203K SLoC