Blockchain, Security, Formal Verification, Auditing, Smart Contracts.
follow best practices. With the delivery of the audit report, CertiK concluded that the contract is not vulnerable to any classically known anti-patterns or security issues. With this audit, CertiK can certify that Tellor passed our audit with a successful and secure product. CertiK would like to