Update CHANGELOG for next version

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 701472395e2a4b27db587cf192995ac17868cc90..719b444f4a324e1a04ba2a65f53336a2ccc64eb1 100644 (file)
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,3 +1,19 @@
+3.1.2
+-----
+2020/11/09
+
+- Addressed issues from Cure53's audit:
+  - MON-01-001: Clarified which CSPRNG to use on Darwin.
+  - MON-01-002: Won't fix (nonce handling is a core design decision).
+  - MON-01-004: Compared with Kleshni's implementation.
+  - MON-01-005: Split a dedicated "advanced" folder in the manual.
+- Quality assurance for 2^255-19 arithmetic (elliptic curves):
+  - Documented carry propagation.
+  - Enforced slightly safer invariants.
+- Made the vectors.h header more compact and easier to modify.
+- TIS-CI integration.
+
+
 3.1.1
 -----
 2020/06/15