bitcoin/secp256k1 — pull request #167 by peterdettman (2014-12-17 09:44:01+00:00)
Title: Tighter verification bounds in mul/sqr

I reviewed the VERIFY_BITS bounds-checking for 32bit and 64bit mul/sqr implementations, finding various places where stricter bounds can be specified (I found no cases of over-strictness).