mirage-crypto-ec: Set bytes used for "zero" to '\000' (#226)

Cstruct.create does this. If we don't initialize bytes with '\000', Field_element.zero can be something else than '\000'. It's a fix for mirleft/ocaml-x509#167. Co-authored-by: Hannes Mehnert <[email protected]>
mirage · Apr 23, 2024 · 38bde3a · 38bde3a
1 parent 47751da
commit 38bde3a
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/ec/mirage_crypto_ec.ml b/ec/mirage_crypto_ec.ml
@@ -158,7 +158,8 @@ module Make_field_element (P : Parameters) (F : Foreign) : Field_element = struc
     b_uts tmp
 
   let zero =
-    b_uts (create ())
+    let b = Bytes.make P.fe_length '\000' in
+    b_uts b
 
   let one =
     let fe = create () in