nice job! now it's time for the prover part :)