adding a verifier/writer program for the optimization