The Tellor Oracle: How the Staked Proof-of-Work Oracle leveraged Formal Verification

CertiK completed a formal verification and comprehensive security audit of the Tellor Oracle smart contracts ahead of mainnet release, identifying issues such as a gas-usage limitation, a potential integer overflow, and ownership-transfer improvements; CertiK and Tellor implemented suggested fixes and concluded the contracts follow best practices and are secure for deployment.