correct function signature of verify routine, for all sphincs+ instan…

…tiations Signed-off-by: Anjan Roy <hello@itzmeanjan.in>
itzmeanjan · Dec 15, 2023 · d33832e · d33832e
1 parent bbda40c
commit d33832e
Show file tree

Hide file tree

Showing 12 changed files with 24 additions and 24 deletions.
diff --git a/include/sphincs+_128f_robust.hpp b/include/sphincs+_128f_robust.hpp
@@ -46,14 +46,14 @@ sign(const uint8_t* const __restrict msg,        // message to be signed
   sphincs_plus::sign<n, h, d, a, k, w, v>(msg, mlen, skey, rand_bytes, sig);
 }
 
-inline void
+inline bool
 verify(const uint8_t* const __restrict msg, // message which was signed
        const size_t mlen,                   // byte length of message
        const uint8_t* const __restrict sig, // SPHINCS+ signature
        const uint8_t* const __restrict pkey // SPHINCS+ public key of 2*n -bytes
 )
 {
-  sphincs_plus::verify<n, h, d, a, k, w, v>(msg, mlen, sig, pkey);
+  return sphincs_plus::verify<n, h, d, a, k, w, v>(msg, mlen, sig, pkey);
 }
 
 }
diff --git a/include/sphincs+_128f_simple.hpp b/include/sphincs+_128f_simple.hpp
@@ -46,14 +46,14 @@ sign(const uint8_t* const __restrict msg,        // message to be signed
   sphincs_plus::sign<n, h, d, a, k, w, v>(msg, mlen, skey, rand_bytes, sig);
 }
 
-inline void
+inline bool
 verify(const uint8_t* const __restrict msg, // message which was signed
        const size_t mlen,                   // byte length of message
        const uint8_t* const __restrict sig, // SPHINCS+ signature
        const uint8_t* const __restrict pkey // SPHINCS+ public key of 2*n -bytes
 )
 {
-  sphincs_plus::verify<n, h, d, a, k, w, v>(msg, mlen, sig, pkey);
+  return sphincs_plus::verify<n, h, d, a, k, w, v>(msg, mlen, sig, pkey);
 }
 
 }
diff --git a/include/sphincs+_128s_robust.hpp b/include/sphincs+_128s_robust.hpp
@@ -46,14 +46,14 @@ sign(const uint8_t* const __restrict msg,        // message to be signed
   sphincs_plus::sign<n, h, d, a, k, w, v>(msg, mlen, skey, rand_bytes, sig);
 }
 
-inline void
+inline bool
 verify(const uint8_t* const __restrict msg, // message which was signed
        const size_t mlen,                   // byte length of message
        const uint8_t* const __restrict sig, // SPHINCS+ signature
        const uint8_t* const __restrict pkey // SPHINCS+ public key of 2*n -bytes
 )
 {
-  sphincs_plus::verify<n, h, d, a, k, w, v>(msg, mlen, sig, pkey);
+  return sphincs_plus::verify<n, h, d, a, k, w, v>(msg, mlen, sig, pkey);
 }
 
 }
diff --git a/include/sphincs+_128s_simple.hpp b/include/sphincs+_128s_simple.hpp
@@ -46,14 +46,14 @@ sign(const uint8_t* const __restrict msg,        // message to be signed
   sphincs_plus::sign<n, h, d, a, k, w, v>(msg, mlen, skey, rand_bytes, sig);
 }
 
-inline void
+inline bool
 verify(const uint8_t* const __restrict msg, // message which was signed
        const size_t mlen,                   // byte length of message
        const uint8_t* const __restrict sig, // SPHINCS+ signature
        const uint8_t* const __restrict pkey // SPHINCS+ public key of 2*n -bytes
 )
 {
-  sphincs_plus::verify<n, h, d, a, k, w, v>(msg, mlen, sig, pkey);
+  return sphincs_plus::verify<n, h, d, a, k, w, v>(msg, mlen, sig, pkey);
 }
 
 }
diff --git a/include/sphincs+_192f_robust.hpp b/include/sphincs+_192f_robust.hpp
@@ -46,14 +46,14 @@ sign(const uint8_t* const __restrict msg,        // message to be signed
   sphincs_plus::sign<n, h, d, a, k, w, v>(msg, mlen, skey, rand_bytes, sig);
 }
 
-inline void
+inline bool
 verify(const uint8_t* const __restrict msg, // message which was signed
        const size_t mlen,                   // byte length of message
        const uint8_t* const __restrict sig, // SPHINCS+ signature
        const uint8_t* const __restrict pkey // SPHINCS+ public key of 2*n -bytes
 )
 {
-  sphincs_plus::verify<n, h, d, a, k, w, v>(msg, mlen, sig, pkey);
+  return sphincs_plus::verify<n, h, d, a, k, w, v>(msg, mlen, sig, pkey);
 }
 
 }
diff --git a/include/sphincs+_192f_simple.hpp b/include/sphincs+_192f_simple.hpp
@@ -46,14 +46,14 @@ sign(const uint8_t* const __restrict msg,        // message to be signed
   sphincs_plus::sign<n, h, d, a, k, w, v>(msg, mlen, skey, rand_bytes, sig);
 }
 
-inline void
+inline bool
 verify(const uint8_t* const __restrict msg, // message which was signed
        const size_t mlen,                   // byte length of message
        const uint8_t* const __restrict sig, // SPHINCS+ signature
        const uint8_t* const __restrict pkey // SPHINCS+ public key of 2*n -bytes
 )
 {
-  sphincs_plus::verify<n, h, d, a, k, w, v>(msg, mlen, sig, pkey);
+  return sphincs_plus::verify<n, h, d, a, k, w, v>(msg, mlen, sig, pkey);
 }
 
 }
diff --git a/include/sphincs+_192s_robust.hpp b/include/sphincs+_192s_robust.hpp
@@ -46,14 +46,14 @@ sign(const uint8_t* const __restrict msg,        // message to be signed
   sphincs_plus::sign<n, h, d, a, k, w, v>(msg, mlen, skey, rand_bytes, sig);
 }
 
-inline void
+inline bool
 verify(const uint8_t* const __restrict msg, // message which was signed
        const size_t mlen,                   // byte length of message
        const uint8_t* const __restrict sig, // SPHINCS+ signature
        const uint8_t* const __restrict pkey // SPHINCS+ public key of 2*n -bytes
 )
 {
-  sphincs_plus::verify<n, h, d, a, k, w, v>(msg, mlen, sig, pkey);
+  return sphincs_plus::verify<n, h, d, a, k, w, v>(msg, mlen, sig, pkey);
 }
 
 }
diff --git a/include/sphincs+_192s_simple.hpp b/include/sphincs+_192s_simple.hpp
@@ -46,14 +46,14 @@ sign(const uint8_t* const __restrict msg,        // message to be signed
   sphincs_plus::sign<n, h, d, a, k, w, v>(msg, mlen, skey, rand_bytes, sig);
 }
 
-inline void
+inline bool
 verify(const uint8_t* const __restrict msg, // message which was signed
        const size_t mlen,                   // byte length of message
        const uint8_t* const __restrict sig, // SPHINCS+ signature
        const uint8_t* const __restrict pkey // SPHINCS+ public key of 2*n -bytes
 )
 {
-  sphincs_plus::verify<n, h, d, a, k, w, v>(msg, mlen, sig, pkey);
+  return sphincs_plus::verify<n, h, d, a, k, w, v>(msg, mlen, sig, pkey);
 }
 
 }
diff --git a/include/sphincs+_256f_robust.hpp b/include/sphincs+_256f_robust.hpp
@@ -46,14 +46,14 @@ sign(const uint8_t* const __restrict msg,        // message to be signed
   sphincs_plus::sign<n, h, d, a, k, w, v>(msg, mlen, skey, rand_bytes, sig);
 }
 
-inline void
+inline bool
 verify(const uint8_t* const __restrict msg, // message which was signed
        const size_t mlen,                   // byte length of message
        const uint8_t* const __restrict sig, // SPHINCS+ signature
        const uint8_t* const __restrict pkey // SPHINCS+ public key of 2*n -bytes
 )
 {
-  sphincs_plus::verify<n, h, d, a, k, w, v>(msg, mlen, sig, pkey);
+  return sphincs_plus::verify<n, h, d, a, k, w, v>(msg, mlen, sig, pkey);
 }
 
 }
diff --git a/include/sphincs+_256f_simple.hpp b/include/sphincs+_256f_simple.hpp
@@ -46,14 +46,14 @@ sign(const uint8_t* const __restrict msg,        // message to be signed
   sphincs_plus::sign<n, h, d, a, k, w, v>(msg, mlen, skey, rand_bytes, sig);
 }
 
-inline void
+inline bool
 verify(const uint8_t* const __restrict msg, // message which was signed
        const size_t mlen,                   // byte length of message
        const uint8_t* const __restrict sig, // SPHINCS+ signature
        const uint8_t* const __restrict pkey // SPHINCS+ public key of 2*n -bytes
 )
 {
-  sphincs_plus::verify<n, h, d, a, k, w, v>(msg, mlen, sig, pkey);
+  return sphincs_plus::verify<n, h, d, a, k, w, v>(msg, mlen, sig, pkey);
 }
 
 }
diff --git a/include/sphincs+_256s_robust.hpp b/include/sphincs+_256s_robust.hpp
@@ -46,14 +46,14 @@ sign(const uint8_t* const __restrict msg,        // message to be signed
   sphincs_plus::sign<n, h, d, a, k, w, v>(msg, mlen, skey, rand_bytes, sig);
 }
 
-inline void
+inline bool
 verify(const uint8_t* const __restrict msg, // message which was signed
        const size_t mlen,                   // byte length of message
        const uint8_t* const __restrict sig, // SPHINCS+ signature
        const uint8_t* const __restrict pkey // SPHINCS+ public key of 2*n -bytes
 )
 {
-  sphincs_plus::verify<n, h, d, a, k, w, v>(msg, mlen, sig, pkey);
+  return sphincs_plus::verify<n, h, d, a, k, w, v>(msg, mlen, sig, pkey);
 }
 
 }
diff --git a/include/sphincs+_256s_simple.hpp b/include/sphincs+_256s_simple.hpp
@@ -46,14 +46,14 @@ sign(const uint8_t* const __restrict msg,        // message to be signed
   sphincs_plus::sign<n, h, d, a, k, w, v>(msg, mlen, skey, rand_bytes, sig);
 }
 
-inline void
+inline bool
 verify(const uint8_t* const __restrict msg, // message which was signed
        const size_t mlen,                   // byte length of message
        const uint8_t* const __restrict sig, // SPHINCS+ signature
        const uint8_t* const __restrict pkey // SPHINCS+ public key of 2*n -bytes
 )
 {
-  sphincs_plus::verify<n, h, d, a, k, w, v>(msg, mlen, sig, pkey);
+  return sphincs_plus::verify<n, h, d, a, k, w, v>(msg, mlen, sig, pkey);
 }
 
 }