From: Markus Triska Date: Sun, 12 Jul 2020 09:58:39 +0000 (+0200) Subject: mention symmetric encryption and ChaCha20-Poly1305 X-Git-Tag: v0.8.127~13^2 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=b227e160f0803cb2d6ea89ba9033bdf88314e1ae;p=scryer-prolog.git mention symmetric encryption and ChaCha20-Poly1305 --- diff --git a/README.md b/README.md index 6c431ac6..df526bf8 100644 --- a/README.md +++ b/README.md @@ -445,10 +445,11 @@ The modules that ship with Scryer Prolog are also called * [`os`](src/lib/os.pl) Predicates for reasoning about environment variables. * [`crypto`](src/lib/crypto.pl) - Cryptographically secure random numbers and hashes, HMAC-based - key derivation (HKDF), password-based key derivation (PBKDF2), - public key signatures and signature verification with Ed25519, - authenticated encryption, and reasoning about elliptic curves. + Cryptographically secure random numbers and hashes, HMAC-based key + derivation (HKDF), password-based key derivation (PBKDF2), + public key signatures and signature verification with Ed25519, + authenticated symmetric encryption with ChaCha20-Poly1305, and + reasoning about elliptic curves. To use predicates provided by the `lists` library, write: