Context

some of the operations on the stateproof verifier are not SNARK friendly (i.e we will not be able to create SNARK for this code).

Acceptance Criteria

need to change the following:

• apply sumhash to coinchoice then SHAKE the result. 1
• the verifier should calculate the proven weight given the number of reveals . 4
• hash coin sequence should be sent with the stateproof itself. 3
• Review period

we might need more changes. discuss with the crypto team