You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
99 lines
3.0 KiB
99 lines
3.0 KiB
2 months ago
|
diff --git a/kexmlkem768x25519.c b/kexmlkem768x25519.c
|
||
|
|
index 679446e9..2b5d3960 100644
|
||
|
|
--- a/kexmlkem768x25519.c
|
||
|
|
+++ b/kexmlkem768x25519.c
|
||
|
|
@@ -1,4 +1,4 @@
|
||
|
|
-/* $OpenBSD: kexmlkem768x25519.c,v 1.1 2024/09/02 12:13:56 djm Exp $ */
|
||
|
|
+/* $OpenBSD: kexmlkem768x25519.c,v 1.2 2024/10/27 02:06:59 djm Exp $ */
|
||
|
|
/*
|
||
|
|
* Copyright (c) 2023 Markus Friedl. All rights reserved.
|
||
|
|
*
|
||
|
|
@@ -34,6 +34,9 @@
|
||
|
|
#include <stdbool.h>
|
||
|
|
#include <string.h>
|
||
|
|
#include <signal.h>
|
||
|
|
+#ifdef HAVE_ENDIAN_H
|
||
|
|
+# include <endian.h>
|
||
|
|
+#endif
|
||
|
|
|
||
|
|
#include "sshkey.h"
|
||
|
|
#include "kex.h"
|
||
|
|
diff --git a/libcrux_mlkem768_sha3.h b/libcrux_mlkem768_sha3.h
|
||
|
|
index a82d60e8..b8ac1436 100644
|
||
|
|
--- a/libcrux_mlkem768_sha3.h
|
||
|
|
+++ b/libcrux_mlkem768_sha3.h
|
||
|
|
@@ -1,4 +1,5 @@
|
||
|
|
-/* $OpenBSD: libcrux_mlkem768_sha3.h,v 1.1 2024/09/02 12:13:56 djm Exp $ */
|
||
|
|
+/* $OpenBSD: libcrux_mlkem768_sha3.h,v 1.2 2024/10/27 02:06:01 djm Exp $ */
|
||
|
|
+
|
||
|
|
/* Extracted from libcrux revision 84c5d87b3092c59294345aa269ceefe0eb97cc35 */
|
||
|
|
|
||
|
|
/*
|
||
|
|
@@ -160,18 +161,19 @@ static inline void Eurydice_slice_to_array3(uint8_t *dst_tag, char *dst_ok,
|
||
|
|
// CORE STUFF (conversions, endianness, ...)
|
||
|
|
|
||
|
|
static inline void core_num__u64_9__to_le_bytes(uint64_t v, uint8_t buf[8]) {
|
||
|
|
+ v = htole64(v);
|
||
|
|
memcpy(buf, &v, sizeof(v));
|
||
|
|
}
|
||
|
|
static inline uint64_t core_num__u64_9__from_le_bytes(uint8_t buf[8]) {
|
||
|
|
uint64_t v;
|
||
|
|
memcpy(&v, buf, sizeof(v));
|
||
|
|
- return v;
|
||
|
|
+ return le64toh(v);
|
||
|
|
}
|
||
|
|
|
||
|
|
static inline uint32_t core_num__u32_8__from_le_bytes(uint8_t buf[4]) {
|
||
|
|
uint32_t v;
|
||
|
|
memcpy(&v, buf, sizeof(v));
|
||
|
|
- return v;
|
||
|
|
+ return le32toh(v);
|
||
|
|
}
|
||
|
|
|
||
|
|
static inline uint32_t core_num__u8_6__count_ones(uint8_t x0) {
|
||
|
|
diff --git a/mlkem768.sh b/mlkem768.sh
|
||
|
|
index 2fdc2831..3d12b2ed 100644
|
||
|
|
--- a/mlkem768.sh
|
||
|
|
+++ b/mlkem768.sh
|
||
|
|
@@ -1,9 +1,10 @@
|
||
|
|
#!/bin/sh
|
||
|
|
-# $OpenBSD: mlkem768.sh,v 1.2 2024/09/04 05:11:33 djm Exp $
|
||
|
|
+# $OpenBSD: mlkem768.sh,v 1.3 2024/10/27 02:06:01 djm Exp $
|
||
|
|
# Placed in the Public Domain.
|
||
|
|
#
|
||
|
|
|
||
|
|
-WANT_LIBCRUX_REVISION="origin/main"
|
||
|
|
+#WANT_LIBCRUX_REVISION="origin/main"
|
||
|
|
+WANT_LIBCRUX_REVISION="84c5d87b3092c59294345aa269ceefe0eb97cc35"
|
||
|
|
|
||
|
|
FILES="
|
||
|
|
libcrux/libcrux-ml-kem/cg/eurydice_glue.h
|
||
|
|
@@ -47,6 +48,7 @@ echo '#define KRML_NOINLINE __attribute__((noinline, unused))'
|
||
|
|
echo '#define KRML_HOST_EPRINTF(...)'
|
||
|
|
echo '#define KRML_HOST_EXIT(x) fatal_f("internal error")'
|
||
|
|
echo
|
||
|
|
+
|
||
|
|
for i in $FILES; do
|
||
|
|
echo "/* from $i */"
|
||
|
|
# Changes to all files:
|
||
|
|
@@ -56,11 +58,16 @@ for i in $FILES; do
|
||
|
|
-e 's/[ ]*$//' \
|
||
|
|
$i | \
|
||
|
|
case "$i" in
|
||
|
|
- # XXX per-file handling goes here.
|
||
|
|
+ */libcrux-ml-kem/cg/eurydice_glue.h)
|
||
|
|
+ # Replace endian functions with versions that work.
|
||
|
|
+ perl -0777 -pe 's/(static inline void core_num__u64_9__to_le_bytes.*\n)([^}]*\n)/\1 v = htole64(v);\n\2/' |
|
||
|
|
+ perl -0777 -pe 's/(static inline uint64_t core_num__u64_9__from_le_bytes.*?)return v;/\1return le64toh(v);/s' |
|
||
|
|
+ perl -0777 -pe 's/(static inline uint32_t core_num__u32_8__from_le_bytes.*?)return v;/\1return le32toh(v);/s'
|
||
|
|
+ ;;
|
||
|
|
# Default: pass through.
|
||
|
|
*)
|
||
|
|
- cat
|
||
|
|
- ;;
|
||
|
|
+ cat
|
||
|
|
+ ;;
|
||
|
|
esac
|
||
|
|
echo
|
||
|
|
done
|