Added overview of the Salsa20 cipher, documented utility functions for cipher verification, documented first major specification
Added overview of the Salsa20 cipher, documented utility functions for cipher verification, documented first major specification

GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script