DeRace (DERC) has been rebranded to zkRace (ZERC). They migrated from their old contracts to a new contracts. For more information, please read this announcement: https://zkrace.medium.com/welcom...