Expand description

Utilities for testing

Functions

helper function to verify a proof
helper function to generate a proof with real prover