mkm: uncomment hmac call in policy.c

GaloisInc · Jan 31, 2025 · 53495b1 · 53495b1
1 parent 35fbced
commit 53495b1
Showing 1 changed file with 3 additions and 4 deletions.
diff --git a/components/mission_key_management/policy.c b/components/mission_key_management/policy.c
@@ -113,10 +113,9 @@ ensures
     /*$ apply UnViewShift_Owned_u8(tmp, tmp + MEASURE_SIZE(), MEASURE_SIZE(), NONCE_SIZE());$*/
     /*$ apply UnSplitAt_Owned_u8(tmp, MEASURE_SIZE() + NONCE_SIZE(), MEASURE_SIZE(), NONCE_SIZE()); $*/
     uint8_t correct_hmac[HMAC_SIZE] = {0};
-    // TODO: 
-    // hmac_sha256(hmac_key, sizeof(hmac_key),
-    //         hmac_message, sizeof(hmac_message),
-    //         correct_hmac);
+    hmac_sha256(hmac_key, sizeof(hmac_key),
+            hmac_message, sizeof(hmac_message),
+            correct_hmac);
     if (memcmp(hmac, correct_hmac, HMAC_SIZE) != 0) {
         return 0;
     }