Consider renaming `prove` and `verify` function

[maramihali]

All the subprotocols in our prover and verifier have a prove and verify method even though most dont prove or verify anything, but rather reduce the claima in some way/ execute some work. Consider renaming these to execute potentially.