Verified Optimizing Compiler for Cryptographic Primitives - View it on GitHub