Blockchain, Security, Formal Verification, Auditing, Smart Contracts.
solutions presented by the CertiK team and implemented by the Tellor team before final deployment. CertiK suggested a major structural refactoring to solve a gas limitation issue to provide smoother and safer transactions. This structuring will not just make gas use safer, but it will allow