CertoraがCorkおよびHypernativeと提携し、Web3セキュリティの新たな基準を確立

2025年11月13日 – イスラエル、テルアビブ

Certoraは、Web3で最も先進的なチームから信頼されているセキュリティ保証パートナーであり、本日、DeFiのリスク管理インフラを先駆けるプロトコルであるCork、そしてリアルタイム脅威監視のリーダーであるHypernativeとの戦略的パートナーシップを発表しました。

この協業を通じて、CertoraはCorkの公式セキュリティパートナーとなり、設計・検証からデプロイメント、モニタリング、運用に至るまで、プロトコルのライフサイクルのあらゆる層にセキュリティを組み込みます。

このパートナーシップは、Web3システムのセキュリティと完全性の向上に取り組む3つのリーダーを結集します。Certoraの形式的検証およびエンドツーエンドのセキュリティフレームワークと、Hypernativeの高度なリアルタイムモニタリングを組み合わせることで、Corkのユーザーは、次世代のオンチェーンファイナンス向けに設計された機関投資家レベルの保護と積極的なリスク軽減の恩恵を受けることができます。

「DeFiにおいて従来通りのセキュリティでは不十分です」とCorkのCTO、Baptiste Florentinは述べています。「私たちは重要な市場インフラを構築することに集中しており、リスクは現実的です。Certoraを選んだのは、単なる一時的な監査を超え、私たちのコードベース、変更管理、運用に深く統合された包括的なエンドツーエンドのセキュリティ体制を構築するためです。」

Web3エコシステムが拡大する中、セキュリティの脆弱性によるコストは増加し続けています。FBIの2024年Internet Crime Complaint Center（IC3）レポートによると、暗号資産関連の詐欺による損失は93億ドル（9.3 billions）に達し、前年から66%増加、デジタル資産に関する苦情は約15万件に上りました。このようなパートナーシップは、業界のセキュリティおよびリスク基準の底上げを図り、この傾向を逆転させることを目指しています。現在のDeFi監査のアプローチはもはや十分ではなく、業界はより高度で積極的なセキュリティ体制を求めています。 

Certoraは、業界最高のパートナーと協力することで、セキュリティへのアプローチを成熟させる新たな道を示します。DeFiセキュリティの基準を引き上げる新しいモデルを開拓し、CertoraとCorkはこれを初めて市場にもたらします。

「Certoraは、航空宇宙や金融などの業界で使用されるエンタープライズグレードの保証の厳密さを分散型システムにもたらすために設立されました」とCertoraのCEO、Seth Hallemは述べています。「CorkおよびHypernativeとの提携により、私たちは単に1つのプロトコルを支援するだけでなく、Web3がリスク、透明性、運用レジリエンスをどのように扱うかを再定義する手助けをしています。」「Web3セキュリティは本日、業界の悪質な行為者を排除するためにさらに一歩前進しました」とHypernativeの共同創設者兼CEO、Gal Sagieは付け加えました。「しかし、この協業を通じて、この分野で活動するすべての人のリスク基準を引き上げる方法も見つけられたことを同様に嬉しく思います。」

共に、Cork、Certora、Hypernativeは、プロトコルが設計段階からセキュリティを組み込むモデルを構築し、ユーザーにとってより安全で、開発者にとってより堅牢かつスケーラブルなシステムを創出しています。

Certoraについて

Certoraは、業界をリードする形式的検証ツールおよびスマートコントラクト監査を提供するブロックチェーンセキュリティ企業です。Certoraの主力セキュリティ製品であるProverは、Aave、Lido、Makerなどのプロトコルが開発パイプラインに形式的検証の力を統合し、極めて稀で発見が困難なバグさえも検出できるよう支援しています。

Corkについて

Corkは、トークン化されたリスクの新たなプリミティブを導入し、ボールトトークン、利回り付きステーブルコイン、流動性（再）ステーキングトークン、RWAなどのオンチェーン資産のためのプログラム可能なリスクレイヤーとして機能します。Corkのコアプリミティブにより、資産運用者や発行者は、償還流動性、リスクの透明性、市場の信頼性を高めるカスタムスワップ市場を構築できます。a16z crypto、OrangeDAO、Steakhouse Financialの支援を受け、Corkはオンチェーンクレジット市場に機関投資家の資本を呼び込むために必要なリスクインフラを構築しています。

Hypernativeについて

Hypernativeは、リアルタイムモニタリング、リスク検出、自動対応ソリューションであり、高精度で脅威を特定し、顧客に被害が発生する前に貴重な対応時間を提供します。このプラットフォームはオンチェーンおよびオフチェーンのデータソースの両方を追跡します。実戦で検証された高度な機械学習モデル、ヒューリスティック、シミュレーション、グラフベースの検出を活用し、スマートコントラクトのハッキングやブリッジのセキュリティインシデントから、フロントエンドの侵害、市場操作、秘密鍵の盗難まで、300種類以上のリスクタイプを特定します。

お問い合わせ

シニアPRマネージャー
Wahaj Khan
Serotonin