Blockchain, Security, Formal Verification, Auditing, Smart Contracts.
The Tellor Oracle: How the Staked Proof-of-Work Oracle leveraged Formal Verification Request an audit at bd@certik.org CertiK is proud to have successfully completed the official audit of Tellor in coordination with their Mainnet release earlier this month. Using a variety of intensive auditing