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

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

Web3分野で最も先進的なチームから信頼されているセキュリティ保証パートナーであるCertoraは本日、 向けのリスク管理インフラストラクチャを先駆的に構築するプロトコル DeFiおよびであるCork 、リアルタイム脅威監視のリーダーであるHypernativeとの戦略的パートナーシップを発表しました。この提携により、CertoraはCorkのセキュリティパートナー・オブ・レコードとなり、設計、検証から展開、監視、運用に至るまで、プロトコルのライフサイクルのあらゆるレイヤーにセキュリティを組み込みます。

このパートナーシップは、Web3システムのセキュリティと整合性の向上に尽力する3つのリーダーを結集するものです。Certoraの形式検証とエンドツーエンドのセキュリティフレームワークとHypernativeの高度なリアルタイムモニタリングを組み合わせることで、Corkユーザーは、次世代のオンチェーン金融向けに設計された機関レベルのセーフガードとプロアクティブなリスク軽減の恩恵を受けることができます。.

「 DeFiにおいては、従来型のセキュリティ対策では不十分です」と、CorkのCTOであるバティスト・フロレンティン氏は述べています。「私たちは重要な市場インフラの構築に専念するチームであり、リスクは現実のものです。Certoraを選んだのは、ポイントインタイムの監査にとどまらず、コードベース、変更管理、そして本番運用と深く統合された、包括的でエンドツーエンドのセキュリティ体制を構築するためです。」

Web3エコシステムが拡大するにつれ、セキュリティの脆弱性による損失は増加の一途をたどっています。FBI の2024年インターネット犯罪苦情センター （IC3）報告書によると、仮想通貨関連の詐欺による損失は93億ドルに達し、前年比66%増となりました。また、デジタル資産に関する苦情は15万件近くに上ります。このようなパートナーシップは、業界のセキュリティおよびリスク基準のベースラインを引き上げることで、この傾向を逆転させることを目指しています。DeFi監査に対する現在のアプローチでは DeFi 不十分であり、業界はより高度で積極的なセキュリティ体制を求めています。 

Certoraは、業界最高峰の企業と連携することで、セキュリティへのアプローチを成熟させる新たな道を切り開きます。DeFiセキュリティ DeFi 水準を高める新たなモデルを開拓し、CertoraとCorkは協力してこれを初めて市場に投入します。.

「Certoraは、航空宇宙や金融などの業界で使用されているエンタープライズグレードの厳格な保証を分散型システムに導入するために設立されました」と、CertoraのCEOであるセス・ハレム氏は述べています。「CorkおよびHypernativeとの提携により、私たちは単なる1つのプロトコルを支援するだけでなく、Web3がリスク、透明性、そして運用のレジリエンスをどのように処理するかを再defiすることに貢献します。」

「Web3セキュリティは、この業界における悪質な行為者を排除するために、今日、新たな一歩を踏み出しました」と、Hypernativeの共同創設者兼CEOであるGal Sagie氏は付け加えました。「しかし、今回のコラボレーションを通じて、この分野で活動するすべての人々のリスク基準を向上させる方法を見つけられることも、同様に喜ばしいことです。」

Cork、Certora、Hypernativeは協力して、プロトコルに設計段階からセキュリティを組み込むためのモデルを構築し、ユーザーにとってより安全であるだけでなく、開発者にとってより堅牢でスケーラブルなシステムを構築しています。このパートナーシップの内容に関する詳細は、こちらの ブログ。 

Certoraについて

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

コークについて

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

ハイパーネイティブについて

Hypernativeは、リアルタイム監視、リスク検知、自動対応ソリューションです。dent脅威を高精度に検知し、エクスプロイトによる被害が発生する前に、お客様に貴重な対応時間を提供します。このプラットフォームは、 tracします。実績のある高度な機械学習モデル、ヒューリスティック、シミュレーション、グラフベースの検出技術を活用し、dent300種類以上のリスクをtracハッキングやブリッジセキュリティインシデントdent。詳細については、 hypernative.io。

接触

シニア PR マネージャー
Wahaj Khan
セロトニン
[email protected]

免責事項。 これは有料プレスリリースです。読者は、宣伝されている企業、その関連会社、またはサービスに関連する行動を起こす前に、ご自身で十分な調査を行う必要があります。Cryptopolitan.comは、プレスリリース Cryptopolitanに されているコンテンツ、商品、またはサービスの使用または信頼に起因または関連して発生した、または発生したと主張されるいかなる損害または損失についても、直接的または間接的に責任を負いません。