Compact Encoding of Non-adjacent Forms with Applications to Elliptic Curve Cryptography