RT @dgryski: The Last Mile: High-Assurance and High-Speed Cryptographic Implementations
“We illustrate our approach using ChaCha20-Poly1305 […] and deliver formally verified vectorized implementations which outperform the fastest non-verified code.”
https://arxiv.org/abs/1904.04606
Faster diffusion, easier to vectorize. From a security perspective there’s no practical difference especially with 12 or 20 rounds. Both have been designed by the same person and use a very similar construction. ChaCha doesn’t come out of “nowhere”.
-
-
This Tweet is unavailable.
- End of conversation
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.