(mod (NONCE MODHASH mover_move new_validation mover_share (proof . conditions))

(include *standard-cl-23*)
(include assert.clinc)
(include curry-and-treehash.clinc)

(defun check_new_validation (new_validation MODHASH NONCE)
    (= new_validation (puzzle-hash-of-curried-function MODHASH (sha256 1 MODHASH) (shatree (+ NONCE 1))))
)

(assert
    (check_new_validation new_validation MODHASH NONCE)
    (= mover_move (* NONCE 2))
    (= mover_share 1)
    (= proof (* NONCE 4))
    conditions)
)