RWA代币化正在以惊人的速度重塑区块链金融版图。

随着Web3应用的发展，稳定币成为中央银行与机构关注的重点方向，有望重塑全球支付与金融基础设施。形式化验证作为一种技术手段，能够有效帮助稳定币项目满足包括《GENIUS法案》在内的监管要求，构建更可靠的合约体系。

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.

CertiK will continue to provide Web3 builders with a trusted, secure, and transparent foundation with its full lifecycle products, community collaboration, and AI technology.

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.

4月8日，在2025年Web3学者峰会上，耶鲁大学计算机科学系主任、CertiK联合创始人邵中教授首次公开LiDO模型及LiDO-DAG扩展框架。这一突破性成果通过三层细化验证框架（安全抽象层、活性保障层、DAG扩展层），为复杂拜占庭容错（BFT）共识协议提供可机械化验证的安全性与活性证明，旨在提升Web3生态的可靠性和规模化发展。

近期，福布斯的报道中提及CertiK关于2024年加密行业安全事件的警示性数据，并援引CertiK创始人顾荣辉的观点：“安全不是竞争优势，而是共同责任”。

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.