1  libsodiumized version of `XK_25519_ChaChaPoly_BLAKE2b` extracted from
2  https://github.com/Inria-Prosecco/noise-star
3  git revision `38ad46c4e1adc048f8b9002c2265a96b961eb702`
4  
5  karmel directory contains the necessary includes
6  https://github.com/project-everest/hacl-star
7  git version `e5620ceb7c8a4996520d693f597872806dc0a1d3`
8  
9  see noise-star.patch for all changes