ChatGPT won’t replace smart contract developers: CertiK