Blockchain, Security, Formal Verification, Auditing, Smart Contracts.
overall code quality on and off security-related issues to enhance their already strong product. By solidifying code quality at the start, CertiK helped position Tellor for easier flow and maintenance. Why This Matters By working with CertiK before launch, Tellor was able to go deeper than