Cointime

Download App
iOS & Android

Certik

ALL From Certik

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.
Crypto Evening Briefing: Ukraine Plans to Adopt EU’s New Cryptocurrency Regulations

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.
Playbux Has Closed a $2 Million Seed Funding Round Led by Binance Labs

MetFi DAO Announce Second Collaboration With CertiK To Conduct Security Audit

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.

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.
KYC Checks for Tokenized Audits

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.
Sentiment Offers $95K Reward to Hackers for Return of Stolen Assets

CertiK Issues Skynet Alert: Phishing Link Reported on Arbitrum Discord Server

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. 

How We Audit: A Comprehensive Guide to CertiK’s Auditing Methodology

This article outlines our auditing methodology and highlights key auditing features.
How We Audit: A Comprehensive Guide to CertiK’s Auditing Methodology

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.
Formally Verifying OpenZeppelin’s ERC-20 Implementation

CertiK ‘Project Scoop’ Highlights Shiba Inu

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

Lack of Liquidity Mitigated Damages to BonqDAO Exploit: Report

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