serokell / haskell-crypto

Haskell cryptography done right
https://hackage.haskell.org/package/crypto-sodium
15 stars 6 forks source link

Authenticated streaming encryption #11

Closed kirelagin closed 3 years ago

kirelagin commented 4 years ago

Unlike #5, this is a libsodium-specific construction.

https://libsodium.gitbook.io/doc/secret-key_cryptography/secretstream

Not clear yet: how to report auth errors in the middle of a stream?

kirelagin commented 4 years ago

~Also pseudo-random generation is within scope here.~

kirelagin commented 3 years ago

Also pseudo-random generation is within scope here.

Actually, not. If anything, it can be in scope for #5, but let’s have a separate issue for it.

kirelagin commented 3 years ago

Implemented in 4076f04c5ecd897f4c26f81fabbd2d7405f6b603.