Provably Sublinear Point Multiplication on Koblitz Curves and Its Hardware Implementation