RWA のトークン化は、ブロックチェーンの金融環境を驚異的なスピードで変革しています。

Web3アプリケーションの発展に伴い、ステーブルコインは中央銀行や金融機関の注目を集めており、世界的な決済・金融インフラの再構築が期待されています。形式検証は技術的な手段として、ステーブルコインプロジェクトがGENIUS法を含む規制要件を満たし、より信頼性の高い契約システムを構築する上で効果的に役立ちます。

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

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

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

4月8日、2025 Web3 Scholar Summitにおいて、イェール大学コンピュータサイエンス学部長であり、CertiKの共同創設者でもあるShao Zhong教授が、LiDOモデルとLiDO-DAG拡張フレームワークを初めて公開しました。この画期的な成果は、3 層の詳細な検証フレームワーク (セキュリティ抽象化層、活性保証層、DAG 拡張層) を通じて、複雑なビザンチン フォールト トレランス (BFT) コンセンサス プロトコルの機械化された検証可能なセキュリティと活性証明を提供し、Web3 エコシステムの信頼性と大規模な開発の向上を目指しています。

最近、フォーブスは2024年の暗号資産業界におけるセキュリティインシデントに関するCertiKの警告データを報じ、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 米ドル相当) が失われました。

Blast メインネットがオンラインになってから 1 か月も経たないうちに 2 件の攻撃が発生し、1 億米ドル近くの損失が発生しました。理由は「北朝鮮のハッカー」が利用されたから？ CertiK は、イベント タイムラインを復元することで、この攻撃を分析および推測しました。詳細については、この記事をご覧ください。