rename GPrf to GProver