From fa943e6bd85d06c454bd6717c57215565cacb530 Mon Sep 17 00:00:00 2001 From: mamonet Date: Mon, 24 Jun 2024 13:50:25 +0300 Subject: [PATCH] small nit in GHASH doc --- code/gf128/Hacl.Gf128.NI.fst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/code/gf128/Hacl.Gf128.NI.fst b/code/gf128/Hacl.Gf128.NI.fst index e9b8ca69a0..961c0cbfdb 100644 --- a/code/gf128/Hacl.Gf128.NI.fst +++ b/code/gf128/Hacl.Gf128.NI.fst @@ -45,7 +45,7 @@ Comment h (carry-less mul) h^3 -> CONTEXT.[1] (16-byte) h (carry-less mul) h^2 -> CONTEXT.[2] (16-byte) h (carry-less mul) h -> CONTEXT.[3] (16-byte) - h -> CONTEXT.[4] (16-byte)"] + h (hash key) -> CONTEXT.[4] (16-byte)"] let gcm_init : gf128_init_st Vec.NI = gf128_init #Vec.NI