serokell / haskell-crypto

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

Multi-part/lazy signatures #3

Open kirelagin opened 4 years ago

kirelagin commented 4 years ago

https://libsodium.gitbook.io/doc/public-key_cryptography/public-key_signatures#example-multi-part-message

kirelagin commented 4 years ago

Probably, do #10 first.

kirelagin commented 4 years ago

See Crypto.Mac.Lazy, Crypto.Mac.Stream, and crypto-sodium-streamly.

kirelagin commented 4 years ago

https://saltpack.org/signing-format-v2

kirelagin commented 3 years ago

I think we should restrict the scope of this issue to multi-part messages as implemented in Libsodium, i.e. we lazily consume a message and produce a signature.

Streaming signed data should be a separate concept, which is not implemented in Libsodium, and we should do something like the Saltpack’s format and/or Sodium’s encrypted stream format.

kirelagin commented 3 years ago

Probably won’t happen (see https://github.com/serokell/haskell-crypto/issues/17#issuecomment-709686119).