Added hometask1 (validator of proof