One of the most powerful approaches to smart contract auditing - Formal Verification . Set your reminders for our Twitter Space on Friday February 10th, to hear from our Principal Scientist. Don't 😴 on this one!

Monkey Drainer Incident | Security Chat | CertiK No monkey business in this Security Chat 🙅‍♂️🐒 Come learn about Monkey Drainer, the black market where scammers buy and sell phishing tools that they then use to drain funds from unsuspecting victims. Listen in with Twitter @CertiKAlert tomorrow for details: https://twitter.com/i/spaces/1ypKddoZ... There's a black market where scammers buy and sell phishing tools that they then used to drain funds from unsuspecting victims. CertiK investigated and uncovered some of the names and identities behind these tools, as well as the on chain drama that results, listen in to our twitter space, this Friday for all the details.

Listen as MagicCraft and CertiK discuss gaming, tokenization, wallets, security & more! Broadcasted October 07th, 2022