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

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

6月19日、韓国の有名テクノロジーメディアであるKorea IT Timesは、Proof of Talk 2025カンファレンスにおけるCertiKの最高業務責任者であるJason Jiang氏の基調講演を特集し、Web3における信頼構築に関する体系的な洞察に焦点を当てました。

CertiK は、完全なライフサイクル製品、コミュニティ コラボレーション、AI テクノロジーを活用し、Web3 ビルダーに信頼性が高く、安全で、透明性の高い基盤を提供し続けます。

4月28日、ドバイのUnchained Summitで、CertiKの共同設立者であるGu Ronghui氏がスピーチを行い、コンプライアンスがWeb3が主流へと向かうための礎であると強調した。

最近、ブロックチェーンメディアCCNは、CertiKの最高セキュリティ責任者である王鉄雷博士による記事を公開し、Web3.0セキュリティシステムにおけるAIの二面性を深く分析しました。

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

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

CertiK は「Hack3d: 2025 年第 1 四半期セキュリティ レポート」を発表しました。今四半期には合計 197 件のセキュリティ インシデントが発生し、損失総額は約 16 億 7,000 万ドルとなり、前月比 303.4% の増加となりました。 Bybit事件により約14億5,000万米ドルの損失が発生し、中央集権型取引所のセキュリティに関する幅広い議論が巻き起こった。

これは暗号化史上最大の盗難事件であるだけでなく、業界の急速な発展に潜むリスクを露呈するものでもある。

Radiant CapitalとWazirX2が数千万ドルを失った後、BybitはWeb3.0史上最大の盗難の被害者となった。

デジタル化の波に押されて、Web2.0 と Web3.0 が交差することは避けられないトレンドとなっていますが、これは障害のないスムーズなプロセスではありません。したがって、より安全なデジタル エコシステムを構築するために、Web3.0 はまず Web2.0 によって残された脆弱なリンクに注意を払い、解決する必要があります。

ゼロ知識証明の形式的検証の詳細な説明その 3: ゼロ知識記憶を証明する方法。

香港金融サービス局（財務局）と香港金融管理局（HKMA）は17日、共同で「協議概要－香港におけるステーブルコイン発行会社に対する規制制度の導入に関する立法提案」を発表した。

5月12日から13日にかけて、数分ごとに合計約64件のラグプル（離脱詐欺）がチェーン上で開始された。 24 時間以内に、合計 272 個の SOL (約 45,900 米ドル相当) が失われました。