ReadMe update for makeProof update