damaki / libkeccak Ada 40 4 SHA-3 and other Keccak related algorithms in SPARK/Ada. hash-functions keccak sha-3 sponge-construction