Closed hannesm closed 5 months ago
Now that Hash is gone, we could remove Cipher_block and Cipher_stream entirely (and rename Cipher_block.S to Block, Cipher_stream.S to Stream).
Cipher_block.S
Block
Cipher_stream.S
Stream
The usage would then modify from Mirage_crypto.Cipher_block.AES to Mirage_crypto.AES, which would save some vertical space.
Mirage_crypto.Cipher_block.AES
Mirage_crypto.AES
As discussed with @reynir
Now that Hash is gone, we could remove Cipher_block and Cipher_stream entirely (and rename
Cipher_block.StoBlock,Cipher_stream.StoStream).The usage would then modify from
Mirage_crypto.Cipher_block.AEStoMirage_crypto.AES, which would save some vertical space.As discussed with @reynir