read pq and g from a file, 
start verification