refactor(cs): added contract verification