From 0d0c2cbd8bf7bc1555e9fb934d6e12b89c54fd6b Mon Sep 17 00:00:00 2001 From: mamonet Date: Tue, 25 Jun 2024 19:50:43 +0300 Subject: [PATCH] another nit in Gf128 doc --- code/gf128/Hacl.Gf128.NI.fst | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/code/gf128/Hacl.Gf128.NI.fst b/code/gf128/Hacl.Gf128.NI.fst index 961c0cbfdb..07dad2d506 100644 --- a/code/gf128/Hacl.Gf128.NI.fst +++ b/code/gf128/Hacl.Gf128.NI.fst @@ -42,9 +42,9 @@ Comment "Initiate GHASH context with the following layout Authentication Tag -> CONTEXT.[0] (16-byte) - 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 * h^3 -> CONTEXT.[1] (16-byte) + h * h^2 -> CONTEXT.[2] (16-byte) + h * h -> CONTEXT.[3] (16-byte) h (hash key) -> CONTEXT.[4] (16-byte)"] let gcm_init : gf128_init_st Vec.NI = gf128_init #Vec.NI