Add crc32c

sharplispers · Dec 16, 2023 · cd67e7b · cd67e7b
1 parent 6da010f
commit cd67e7b
Show file tree

Hide file tree

Showing 6 changed files with 160 additions and 46 deletions.
diff --git a/NEWS b/NEWS
@@ -1,5 +1,11 @@
 -*- mode: outline -*-
 
+* Changes since version 0.59
+
+** new features
+
+Added crc32c digest.
+
 * Version 0.59, released 2023-07-24
 
 ** new features

diff --git a/README.org b/README.org
@@ -394,6 +394,7 @@ by calling [[list-all-digests][list-all-digests]]. They are:
  - blake2s/224
  - crc24
  - crc32
+ - crc32c
  - groestl
  - groestl/224
  - groestl/256

diff --git a/ironclad.asd b/ironclad.asd
@@ -326,6 +326,7 @@
                                            (:test-vector-file "blake2s-224")
                                            (:test-vector-file "crc24")
                                            (:test-vector-file "crc32")
+                                           (:test-vector-file "crc32c")
                                            (:test-vector-file "groestl")
                                            (:test-vector-file "groestl-224")
                                            (:test-vector-file "groestl-256")

diff --git a/src/digests/crc32.lisp b/src/digests/crc32.lisp
@@ -4,58 +4,156 @@
 (in-package :crypto)
 (in-ironclad-readtable)
 
-(declaim (type (simple-array (unsigned-byte 32) (256)) +crc32-table+))
+(declaim (type (simple-array (unsigned-byte 32) (256))
+               +crc32-table+ +crc32c-table+))
 (defconst +crc32-table+
-#32@(#x00000000 #x77073096 #xEE0E612C #x990951BA #x076DC419 #x706AF48F
-#xE963A535 #x9E6495A3 #x0EDB8832 #x79DCB8A4 #xE0D5E91E #x97D2D988
-#x09B64C2B #x7EB17CBD #xE7B82D07 #x90BF1D91 #x1DB71064 #x6AB020F2
-#xF3B97148 #x84BE41DE #x1ADAD47D #x6DDDE4EB #xF4D4B551 #x83D385C7
-#x136C9856 #x646BA8C0 #xFD62F97A #x8A65C9EC #x14015C4F #x63066CD9
-#xFA0F3D63 #x8D080DF5 #x3B6E20C8 #x4C69105E #xD56041E4 #xA2677172
-#x3C03E4D1 #x4B04D447 #xD20D85FD #xA50AB56B #x35B5A8FA #x42B2986C
-#xDBBBC9D6 #xACBCF940 #x32D86CE3 #x45DF5C75 #xDCD60DCF #xABD13D59
-#x26D930AC #x51DE003A #xC8D75180 #xBFD06116 #x21B4F4B5 #x56B3C423
-#xCFBA9599 #xB8BDA50F #x2802B89E #x5F058808 #xC60CD9B2 #xB10BE924
-#x2F6F7C87 #x58684C11 #xC1611DAB #xB6662D3D #x76DC4190 #x01DB7106
-#x98D220BC #xEFD5102A #x71B18589 #x06B6B51F #x9FBFE4A5 #xE8B8D433
-#x7807C9A2 #x0F00F934 #x9609A88E #xE10E9818 #x7F6A0DBB #x086D3D2D
-#x91646C97 #xE6635C01 #x6B6B51F4 #x1C6C6162 #x856530D8 #xF262004E
-#x6C0695ED #x1B01A57B #x8208F4C1 #xF50FC457 #x65B0D9C6 #x12B7E950
-#x8BBEB8EA #xFCB9887C #x62DD1DDF #x15DA2D49 #x8CD37CF3 #xFBD44C65
-#x4DB26158 #x3AB551CE #xA3BC0074 #xD4BB30E2 #x4ADFA541 #x3DD895D7
-#xA4D1C46D #xD3D6F4FB #x4369E96A #x346ED9FC #xAD678846 #xDA60B8D0
-#x44042D73 #x33031DE5 #xAA0A4C5F #xDD0D7CC9 #x5005713C #x270241AA
-#xBE0B1010 #xC90C2086 #x5768B525 #x206F85B3 #xB966D409 #xCE61E49F
-#x5EDEF90E #x29D9C998 #xB0D09822 #xC7D7A8B4 #x59B33D17 #x2EB40D81
-#xB7BD5C3B #xC0BA6CAD #xEDB88320 #x9ABFB3B6 #x03B6E20C #x74B1D29A
-#xEAD54739 #x9DD277AF #x04DB2615 #x73DC1683 #xE3630B12 #x94643B84
-#x0D6D6A3E #x7A6A5AA8 #xE40ECF0B #x9309FF9D #x0A00AE27 #x7D079EB1
-#xF00F9344 #x8708A3D2 #x1E01F268 #x6906C2FE #xF762575D #x806567CB
-#x196C3671 #x6E6B06E7 #xFED41B76 #x89D32BE0 #x10DA7A5A #x67DD4ACC
-#xF9B9DF6F #x8EBEEFF9 #x17B7BE43 #x60B08ED5 #xD6D6A3E8 #xA1D1937E
-#x38D8C2C4 #x4FDFF252 #xD1BB67F1 #xA6BC5767 #x3FB506DD #x48B2364B
-#xD80D2BDA #xAF0A1B4C #x36034AF6 #x41047A60 #xDF60EFC3 #xA867DF55
-#x316E8EEF #x4669BE79 #xCB61B38C #xBC66831A #x256FD2A0 #x5268E236
-#xCC0C7795 #xBB0B4703 #x220216B9 #x5505262F #xC5BA3BBE #xB2BD0B28
-#x2BB45A92 #x5CB36A04 #xC2D7FFA7 #xB5D0CF31 #x2CD99E8B #x5BDEAE1D
-#x9B64C2B0 #xEC63F226 #x756AA39C #x026D930A #x9C0906A9 #xEB0E363F
-#x72076785 #x05005713 #x95BF4A82 #xE2B87A14 #x7BB12BAE #x0CB61B38
-#x92D28E9B #xE5D5BE0D #x7CDCEFB7 #x0BDBDF21 #x86D3D2D4 #xF1D4E242
-#x68DDB3F8 #x1FDA836E #x81BE16CD #xF6B9265B #x6FB077E1 #x18B74777
-#x88085AE6 #xFF0F6A70 #x66063BCA #x11010B5C #x8F659EFF #xF862AE69
-#x616BFFD3 #x166CCF45 #xA00AE278 #xD70DD2EE #x4E048354 #x3903B3C2
-#xA7672661 #xD06016F7 #x4969474D #x3E6E77DB #xAED16A4A #xD9D65ADC
-#x40DF0B66 #x37D83BF0 #xA9BCAE53 #xDEBB9EC5 #x47B2CF7F #x30B5FFE9
-#xBDBDF21C #xCABAC28A #x53B39330 #x24B4A3A6 #xBAD03605 #xCDD70693
-#x54DE5729 #x23D967BF #xB3667A2E #xC4614AB8 #x5D681B02 #x2A6F2B94
-#xB40BBE37 #xC30C8EA1 #x5A05DF1B #x2D02EF8D))
+  #32@(#x00000000 #x77073096 #xEE0E612C #x990951BA
+       #x076DC419 #x706AF48F #xE963A535 #x9E6495A3
+       #x0EDB8832 #x79DCB8A4 #xE0D5E91E #x97D2D988
+       #x09B64C2B #x7EB17CBD #xE7B82D07 #x90BF1D91
+       #x1DB71064 #x6AB020F2 #xF3B97148 #x84BE41DE
+       #x1ADAD47D #x6DDDE4EB #xF4D4B551 #x83D385C7
+       #x136C9856 #x646BA8C0 #xFD62F97A #x8A65C9EC
+       #x14015C4F #x63066CD9 #xFA0F3D63 #x8D080DF5
+       #x3B6E20C8 #x4C69105E #xD56041E4 #xA2677172
+       #x3C03E4D1 #x4B04D447 #xD20D85FD #xA50AB56B
+       #x35B5A8FA #x42B2986C #xDBBBC9D6 #xACBCF940
+       #x32D86CE3 #x45DF5C75 #xDCD60DCF #xABD13D59
+       #x26D930AC #x51DE003A #xC8D75180 #xBFD06116
+       #x21B4F4B5 #x56B3C423 #xCFBA9599 #xB8BDA50F
+       #x2802B89E #x5F058808 #xC60CD9B2 #xB10BE924
+       #x2F6F7C87 #x58684C11 #xC1611DAB #xB6662D3D
+       #x76DC4190 #x01DB7106 #x98D220BC #xEFD5102A
+       #x71B18589 #x06B6B51F #x9FBFE4A5 #xE8B8D433
+       #x7807C9A2 #x0F00F934 #x9609A88E #xE10E9818
+       #x7F6A0DBB #x086D3D2D #x91646C97 #xE6635C01
+       #x6B6B51F4 #x1C6C6162 #x856530D8 #xF262004E
+       #x6C0695ED #x1B01A57B #x8208F4C1 #xF50FC457
+       #x65B0D9C6 #x12B7E950 #x8BBEB8EA #xFCB9887C
+       #x62DD1DDF #x15DA2D49 #x8CD37CF3 #xFBD44C65
+       #x4DB26158 #x3AB551CE #xA3BC0074 #xD4BB30E2
+       #x4ADFA541 #x3DD895D7 #xA4D1C46D #xD3D6F4FB
+       #x4369E96A #x346ED9FC #xAD678846 #xDA60B8D0
+       #x44042D73 #x33031DE5 #xAA0A4C5F #xDD0D7CC9
+       #x5005713C #x270241AA #xBE0B1010 #xC90C2086
+       #x5768B525 #x206F85B3 #xB966D409 #xCE61E49F
+       #x5EDEF90E #x29D9C998 #xB0D09822 #xC7D7A8B4
+       #x59B33D17 #x2EB40D81 #xB7BD5C3B #xC0BA6CAD
+       #xEDB88320 #x9ABFB3B6 #x03B6E20C #x74B1D29A
+       #xEAD54739 #x9DD277AF #x04DB2615 #x73DC1683
+       #xE3630B12 #x94643B84 #x0D6D6A3E #x7A6A5AA8
+       #xE40ECF0B #x9309FF9D #x0A00AE27 #x7D079EB1
+       #xF00F9344 #x8708A3D2 #x1E01F268 #x6906C2FE
+       #xF762575D #x806567CB #x196C3671 #x6E6B06E7
+       #xFED41B76 #x89D32BE0 #x10DA7A5A #x67DD4ACC
+       #xF9B9DF6F #x8EBEEFF9 #x17B7BE43 #x60B08ED5
+       #xD6D6A3E8 #xA1D1937E #x38D8C2C4 #x4FDFF252
+       #xD1BB67F1 #xA6BC5767 #x3FB506DD #x48B2364B
+       #xD80D2BDA #xAF0A1B4C #x36034AF6 #x41047A60
+       #xDF60EFC3 #xA867DF55 #x316E8EEF #x4669BE79
+       #xCB61B38C #xBC66831A #x256FD2A0 #x5268E236
+       #xCC0C7795 #xBB0B4703 #x220216B9 #x5505262F
+       #xC5BA3BBE #xB2BD0B28 #x2BB45A92 #x5CB36A04
+       #xC2D7FFA7 #xB5D0CF31 #x2CD99E8B #x5BDEAE1D
+       #x9B64C2B0 #xEC63F226 #x756AA39C #x026D930A
+       #x9C0906A9 #xEB0E363F #x72076785 #x05005713
+       #x95BF4A82 #xE2B87A14 #x7BB12BAE #x0CB61B38
+       #x92D28E9B #xE5D5BE0D #x7CDCEFB7 #x0BDBDF21
+       #x86D3D2D4 #xF1D4E242 #x68DDB3F8 #x1FDA836E
+       #x81BE16CD #xF6B9265B #x6FB077E1 #x18B74777
+       #x88085AE6 #xFF0F6A70 #x66063BCA #x11010B5C
+       #x8F659EFF #xF862AE69 #x616BFFD3 #x166CCF45
+       #xA00AE278 #xD70DD2EE #x4E048354 #x3903B3C2
+       #xA7672661 #xD06016F7 #x4969474D #x3E6E77DB
+       #xAED16A4A #xD9D65ADC #x40DF0B66 #x37D83BF0
+       #xA9BCAE53 #xDEBB9EC5 #x47B2CF7F #x30B5FFE9
+       #xBDBDF21C #xCABAC28A #x53B39330 #x24B4A3A6
+       #xBAD03605 #xCDD70693 #x54DE5729 #x23D967BF
+       #xB3667A2E #xC4614AB8 #x5D681B02 #x2A6F2B94
+       #xB40BBE37 #xC30C8EA1 #x5A05DF1B #x2D02EF8D))
+
+(defconst +crc32c-table+
+  #32@(#x00000000 #xF26B8303 #xE13B70F7 #x1350F3F4
+       #xC79A971F #x35F1141C #x26A1E7E8 #xD4CA64EB
+       #x8AD958CF #x78B2DBCC #x6BE22838 #x9989AB3B
+       #x4D43CFD0 #xBF284CD3 #xAC78BF27 #x5E133C24
+       #x105EC76F #xE235446C #xF165B798 #x030E349B
+       #xD7C45070 #x25AFD373 #x36FF2087 #xC494A384
+       #x9A879FA0 #x68EC1CA3 #x7BBCEF57 #x89D76C54
+       #x5D1D08BF #xAF768BBC #xBC267848 #x4E4DFB4B
+       #x20BD8EDE #xD2D60DDD #xC186FE29 #x33ED7D2A
+       #xE72719C1 #x154C9AC2 #x061C6936 #xF477EA35
+       #xAA64D611 #x580F5512 #x4B5FA6E6 #xB93425E5
+       #x6DFE410E #x9F95C20D #x8CC531F9 #x7EAEB2FA
+       #x30E349B1 #xC288CAB2 #xD1D83946 #x23B3BA45
+       #xF779DEAE #x05125DAD #x1642AE59 #xE4292D5A
+       #xBA3A117E #x4851927D #x5B016189 #xA96AE28A
+       #x7DA08661 #x8FCB0562 #x9C9BF696 #x6EF07595
+       #x417B1DBC #xB3109EBF #xA0406D4B #x522BEE48
+       #x86E18AA3 #x748A09A0 #x67DAFA54 #x95B17957
+       #xCBA24573 #x39C9C670 #x2A993584 #xD8F2B687
+       #x0C38D26C #xFE53516F #xED03A29B #x1F682198
+       #x5125DAD3 #xA34E59D0 #xB01EAA24 #x42752927
+       #x96BF4DCC #x64D4CECF #x77843D3B #x85EFBE38
+       #xDBFC821C #x2997011F #x3AC7F2EB #xC8AC71E8
+       #x1C661503 #xEE0D9600 #xFD5D65F4 #x0F36E6F7
+       #x61C69362 #x93AD1061 #x80FDE395 #x72966096
+       #xA65C047D #x5437877E #x4767748A #xB50CF789
+       #xEB1FCBAD #x197448AE #x0A24BB5A #xF84F3859
+       #x2C855CB2 #xDEEEDFB1 #xCDBE2C45 #x3FD5AF46
+       #x7198540D #x83F3D70E #x90A324FA #x62C8A7F9
+       #xB602C312 #x44694011 #x5739B3E5 #xA55230E6
+       #xFB410CC2 #x092A8FC1 #x1A7A7C35 #xE811FF36
+       #x3CDB9BDD #xCEB018DE #xDDE0EB2A #x2F8B6829
+       #x82F63B78 #x709DB87B #x63CD4B8F #x91A6C88C
+       #x456CAC67 #xB7072F64 #xA457DC90 #x563C5F93
+       #x082F63B7 #xFA44E0B4 #xE9141340 #x1B7F9043
+       #xCFB5F4A8 #x3DDE77AB #x2E8E845F #xDCE5075C
+       #x92A8FC17 #x60C37F14 #x73938CE0 #x81F80FE3
+       #x55326B08 #xA759E80B #xB4091BFF #x466298FC
+       #x1871A4D8 #xEA1A27DB #xF94AD42F #x0B21572C
+       #xDFEB33C7 #x2D80B0C4 #x3ED04330 #xCCBBC033
+       #xA24BB5A6 #x502036A5 #x4370C551 #xB11B4652
+       #x65D122B9 #x97BAA1BA #x84EA524E #x7681D14D
+       #x2892ED69 #xDAF96E6A #xC9A99D9E #x3BC21E9D
+       #xEF087A76 #x1D63F975 #x0E330A81 #xFC588982
+       #xB21572C9 #x407EF1CA #x532E023E #xA145813D
+       #x758FE5D6 #x87E466D5 #x94B49521 #x66DF1622
+       #x38CC2A06 #xCAA7A905 #xD9F75AF1 #x2B9CD9F2
+       #xFF56BD19 #x0D3D3E1A #x1E6DCDEE #xEC064EED
+       #xC38D26C4 #x31E6A5C7 #x22B65633 #xD0DDD530
+       #x0417B1DB #xF67C32D8 #xE52CC12C #x1747422F
+       #x49547E0B #xBB3FFD08 #xA86F0EFC #x5A048DFF
+       #x8ECEE914 #x7CA56A17 #x6FF599E3 #x9D9E1AE0
+       #xD3D3E1AB #x21B862A8 #x32E8915C #xC083125F
+       #x144976B4 #xE622F5B7 #xF5720643 #x07198540
+       #x590AB964 #xAB613A67 #xB831C993 #x4A5A4A90
+       #x9E902E7B #x6CFBAD78 #x7FAB5E8C #x8DC0DD8F
+       #xE330A81A #x115B2B19 #x020BD8ED #xF0605BEE
+       #x24AA3F05 #xD6C1BC06 #xC5914FF2 #x37FACCF1
+       #x69E9F0D5 #x9B8273D6 #x88D28022 #x7AB90321
+       #xAE7367CA #x5C18E4C9 #x4F48173D #xBD23943E
+       #xF36E6F75 #x0105EC76 #x12551F82 #xE03E9C81
+       #x34F4F86A #xC69F7B69 #xD5CF889D #x27A40B9E
+       #x79B737BA #x8BDCB4B9 #x988C474D #x6AE7C44E
+       #xBE2DA0A5 #x4C4623A6 #x5F16D052 #xAD7D5351))
+
+(defun crc32-table (state)
+  (etypecase state
+    (crc32c +crc32c-table+)
+    (crc32 +crc32-table+)))
 
 (defstruct (crc32
              (:constructor %make-crc32-digest nil)
              (:constructor %make-crc32-state (crc))
              (:copier nil))
   (crc 4294967295 :type (unsigned-byte 32)))
 
+(defstruct (crc32c
+             (:include crc32)
+             (:constructor %make-crc32c-digest nil)
+             (:copier nil)))
+
 (defmethod reinitialize-instance ((state crc32) &rest initargs)
   (declare (ignore initargs))
   (setf (crc32-crc state) #xffffffff)
@@ -74,7 +172,7 @@
   (let ((crc (crc32-crc state)))
     (declare (type (unsigned-byte 32) crc))
     (do ((i start (1+ i))
-         (table +crc32-table+))
+         (table (crc32-table state)))
         ((>= i end)
          (setf (crc32-crc state) crc)
          state)
@@ -93,3 +191,4 @@
       (stuff-state result digest digest-start))))
 
 (defdigest crc32 :digest-length 4 :block-length 1)
+(defdigest crc32c :digest-length 4 :block-length 1)
diff --git a/src/package.lisp b/src/package.lisp
@@ -170,7 +170,7 @@
    #:with-encrypting-stream #:with-decrypting-stream
    #:make-authenticating-stream #:with-authenticating-stream)
   ;; supported digests
-  (:export #:whirlpool #:md2 #:md4 #:md5 #:adler32 #:crc24 #:crc32
+  (:export #:whirlpool #:md2 #:md4 #:md5 #:adler32 #:crc24 #:crc32 #:crc32c
            #:tiger #:sha1 #:sha224 #:sha256 #:sha384 #:sha512
            #:tree-hash #:make-tiger-tree-hash #:ripemd-128 #:ripemd-160
            #:skein256 #:skein256/128 #:skein256/160 #:skein256/224

diff --git a/testing/test-vectors/crc32c.testvec b/testing/test-vectors/crc32c.testvec
@@ -0,0 +1,7 @@
+(:digest-test #a"" #h"00000000")
+(:digest-test #a"a" #h"c1d04330")
+(:digest-test #a"abc" #h"364b3fb7")
+(:digest-test #a"message digest" #h"02bd79d0")
+(:digest-test #a"abcdefghijklmnopqrstuvwxyz" #h"9ee6ef25")
+(:digest-test #a"ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz0123456789" #h"a245d57d")
+(:digest-test #a"12345678901234567890123456789012345678901234567890123456789012345678901234567890" #h"477a6781")
-Original file line number
+Diff line change
@@ Expand Up @@
      - blake2s/224
      - crc24
      - crc32
+     - crc32c
      - groestl
      - groestl/224
      - groestl/256
@@ Expand Down @@