In the paper which describes NaCl, it references back to Dan's Poly-1305 AES paper.  What's your source for it not using AES?