From 6da010fea49a4edf075943e20f8ec7adea0d9d65 Mon Sep 17 00:00:00 2001 From: Guillaume Le Vaillant Date: Thu, 27 Jul 2023 09:00:06 +0200 Subject: Fix type declaration The output length of shake128 and shake256 can be more than 64. --- src/digests/sha3.lisp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/digests/sha3.lisp b/src/digests/sha3.lisp index 2a88d1e..4f72865 100644 --- a/src/digests/sha3.lisp +++ b/src/digests/sha3.lisp @@ -433,7 +433,7 @@ the content on normal form exit." (declare (type sha3 state) (type (simple-array (unsigned-byte 8) (*)) digest) (type integer digest-start) - (optimize (speed 3) (safety 0) (space 0) (debug 0))) + (optimize (speed 3) (safety 1) (space 0) (debug 0))) (let ((padding-type (typecase state (shake128 :xof) (shake256 :xof) @@ -451,7 +451,7 @@ the content on normal form exit." (type (simple-array (unsigned-byte 8) (200)) buffer) (type (integer 0 199) buffer-index) (type (integer 0 1600) bit-rate) - (type (integer 0 64) output-byte-length)) + (type integer output-byte-length)) ;; Process remaining data after padding it (keccak-state-merge-input keccak-state -- cgit v1.2.3-70-g09d2