diff options
author | Guillaume Le Vaillant <glv@posteo.net> | 2023-07-27 09:00:06 +0200 |
---|---|---|
committer | Guillaume Le Vaillant <glv@posteo.net> | 2023-07-27 09:00:06 +0200 |
commit | 6da010fea49a4edf075943e20f8ec7adea0d9d65 (patch) | |
tree | 1d46ae9103a9e96dc5edf229dbbfadc0f1e3f7d9 | |
parent | 5b1483e91409989a8b6bc84251b5a0f41c504f4e (diff) |
Fix type declaration
The output length of shake128 and shake256 can be more than 64.
-rw-r--r-- | src/digests/sha3.lisp | 4 |
1 files 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 |