Ukrainian regulators have announced their intention to adopt the Markets in Crypto-Assets (MiCA) regulation, which was recently passed by the European Parliament.

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.

MetFi DAO has announced a second collaboration with CertiK, a leading blockchain security firm, to conduct a security audit of its decentralized finance (DeFi) protocol. MetFi DAO is a decentralized autonomous organization that aims to provide DeFi solutions for the metal and mining industry.

Audits should be tokenized, so maybe the ones done badly (like Earth/Moon) would no longer go under the rug.

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.

CertiK, a blockchain security firm, has issued a Skynet Alert stating that a phishing link has been spotted on the Arbitrum Discord server. The advisory has cautioned users against clicking on any links until the team confirms that they have regained control of the server. 

This article outlines our auditing methodology and highlights key auditing features.

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.

Leading blockchain security and analytics platform CertiK has selected Shiba Inu as its latest “Project Scoop.”

According to blockchain security firm CertiK, the damage caused to decentralized protocol BonqDAO on Feb. 1 may have been much less than initially thought.