fixed deploy and proof