Blockchain, Security, Formal Verification, Auditing, Smart Contracts.
congratulate the Tellor team for passing the rigorous verification process and wishes them luck on their project at large. About CertiK CertiK is a blockchain and smart contract verification platform founded by top Formal Verification experts from Yale and Columbia University. Incubated by Binance