With the development of Web3 applications, stablecoins have become a focus of central banks and institutions, and are expected to reshape global payment and financial infrastructure. Formal verification, as a technical means, can effectively help stablecoin projects meet regulatory requirements including the GENIUS Act and build a more reliable contract system.

On June 19, Korea IT Times, a well-known Korean technology media, focused on the keynote speech of Jason Jiang, Chief Business Officer of CertiK, at the Proof of Talk 2025 conference, focusing on his systematic insights on building trust in Web3.

On April 28, at the Unchained Summit in Dubai, CertiK co-founder Gu Ronghui delivered a speech, emphasizing that compliance is the cornerstone of Web3's move towards mainstream.

Recently, blockchain media CCN published an article by Dr. Wang Tielei, Chief Security Officer of CertiK, which deeply analyzed the two-sided nature of AI in the Web3.0 security system.

On April 8, at the 2025 Web3 Scholars Summit, Professor Shao Zhong, the head of the Department of Computer Science at Yale University and co-founder of CertiK, publicly announced the LiDO model and the LiDO-DAG extension framework for the first time. This breakthrough provides mechanized verifiable security and liveness proofs for complex Byzantine Fault Tolerant (BFT) consensus protocols through a three-layer detailed verification framework (security abstraction layer, liveness guarantee layer, and DAG extension layer), aiming to improve the reliability and scale development of the Web3 ecosystem.

Recently, Forbes reported on CertiK’s warning data on security incidents in the crypto industry in 2024, and quoted CertiK founder Gu Ronghui’s point of view: “Security is not a competitive advantage, but a shared responsibility.”

CertiK released the "Hack3d: 2025 Q1 Security Report", which showed that there were 197 security incidents in this quarter, with a total loss of approximately US$1.67 billion, a surge of 303.4% from the previous quarter. The Bybit incident caused a loss of approximately US$1.45 billion, triggering widespread discussion on the security of centralized exchanges.

This is not only the largest theft in the history of encryption, but also exposes the risks hidden in the rapid development of the industry.

Following the tens of millions of dollars lost by Radiant Capital and WazirX2, Bybit has become the victim of the largest theft in the history of Web3.0.

Driven by the wave of digitalization, the intersection of Web2.0 and Web3.0 has become an inevitable trend, but it is not a smooth process without obstacles. Therefore, in order to build a more secure digital ecosystem, Web3.0 first needs to pay attention to and solve the weak links left by Web2.0.

Detailed explanation of the formal verification of zero-knowledge proof Part 3: How to prove zero-knowledge memory.

On the 17th, the Financial Services and the Treasury Bureau (FSTB) and the Hong Kong Monetary Authority (HKMA) jointly released the "Consultation Conclusions - Legislative Proposals for Implementing a Stablecoin Issuer Regulatory Regime in Hong Kong".

From May 12 to 13, a total of about 64 Rug Pulls (exit scams) were launched on the chain, one every few minutes. In less than 24 hours, a total of 272 SOLs were lost, worth about $45,900.

Less than a month after the Blast mainnet was launched, two attacks occurred, resulting in losses of nearly 100 million US dollars. Was the cause the attack "North Korean hackers"? CertiK analyzed and inferred the attack by restoring the timeline of the event. For details, please see this article.

Recently, CertiK has monitored more than 200 exit scams, which may indicate a hacker team that is engaged in large-scale automation and asset harvesting through "exit scams".