DJB's implementation of Poly1305-AES based on OpenSSL and GMP - View it on GitHub