use verify for sample.cpp to simplify code
gmp is available for ScalarMult