From c7715826132ef6ad328b60f401699958f196901f Mon Sep 17 00:00:00 2001
From: xvzcf <xvzcf@users.noreply.github.com>
Date: Thu, 30 May 2024 17:00:49 -0400
Subject: [PATCH] Signing key generation works.

---
 libcrux-ml-dsa/src/serialize.rs | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/libcrux-ml-dsa/src/serialize.rs b/libcrux-ml-dsa/src/serialize.rs
index 7f8796a49..30097d9f4 100644
--- a/libcrux-ml-dsa/src/serialize.rs
+++ b/libcrux-ml-dsa/src/serialize.rs
@@ -83,7 +83,9 @@ fn serialize_error_ring_element_when_eta_is_4<const BYTES_FOR_OUTPUT: usize>(
     let mut serialized = [0u8; BYTES_FOR_OUTPUT];
 
     for (i, coefficients) in re.coefficients.chunks_exact(2).enumerate() {
-        serialized[i] = ((coefficients[1] as u8) << 4) | (coefficients[0] as u8);
+        let coefficient0 = (4 - coefficients[0]) as u8;
+        let coefficient1 = (4 - coefficients[1]) as u8;
+        serialized[i] = (coefficient1 << 4) | coefficient0;
     }
 
     serialized