Crypto Evening Briefing: Ukraine Plans to Adopt EU’s New Cryptocurrency Regulations
Ukrainian regulators have announced their intention to adopt the Markets in Crypto-Assets (MiCA) regulation, which was recently passed by the European Parliament.
Playbux Has Closed a $2 Million Seed Funding Round Led by Binance Labs
Playbux, a blockchain-based e-commerce metaverse platform, has closed a $2 million seed funding round led by Binance Labs with participation from Gate.io, Tron, CertiK, Ankr, IMO Ventures, LIF, Math Wallet and OFR.
KYC Checks for Tokenized Audits
Audits should be tokenized, so maybe the ones done badly (like Earth/Moon) would no longer go under the rug.
Sentiment Offers $95K Reward to Hackers for Return of Stolen Assets
If the assets are not returned by the specified deadline, the reward will be given to anyone who can help find and prosecute the hacker.
How We Audit: A Comprehensive Guide to CertiK’s Auditing Methodology
This article outlines our auditing methodology and highlights key auditing features.
Formally Verifying OpenZeppelin’s ERC-20 Implementation
In Part One of this series on formal verification, we explained how CertiK uses formal verification to mathematically prove the correctness of ERC-20 contracts that we audit. Let’s dive in and see what happens when we apply it to OpenZeppelin’s code.
