The SPARKSkein 2011 release has been updated to meet version 1.3 of the Skein specification. All analyses and proofs have also been regenerated using the recently-released GPL 2011 edition of the SPARK toolset.
The updated release is available here.
The Skein Hash Function Family
Fast, Secure, Simple, Flexible, Efficient. And it rhymes with "rain."