CertoraはCorkおよびHypernativeと提携し、新たな基準を確立しました。 Web3 セキュリティ
イスラエル、テルアビブ、2025年11月13日、Chainwire
セルトラ最も先進的なチームから信頼されるセキュリティ保証パートナー Web3は本日、戦略的提携を発表しました。 コルク、リスク管理インフラストラクチャの先駆的なプロトコル DeFi, ハイパーネイティブリアルタイム脅威監視のリーダーであるCertoraと提携しました。この提携により、CertoraはCorkのセキュリティ・パートナー・オブ・レコードとなり、設計・検証から導入、監視、運用に至るまで、プロトコルライフサイクルのあらゆる層にセキュリティを組み込みます。
このパートナーシップは、セキュリティと完全性の向上に尽力する3人のリーダーを結集します。 Web3 システム。Certoraの形式検証とエンドツーエンドのセキュリティフレームワークとHypernativeの高度なリアルタイムモニタリングを組み合わせることで、Corkユーザーは、次世代のオンチェーン金融向けに設計された機関レベルの安全対策とプロアクティブなリスク軽減の恩恵を受けることができます。
「通常のビジネスセキュリティでは不十分だ DeFiコーク社のCTO、バティスト・フロレンティン氏は次のように述べています。「私たちは重要な市場インフラの構築に注力するチームであり、リスクは現実のものです。Certoraを選んだのは、ポイントインタイムの監査にとどまらず、コードベース、変更管理、そして本番運用と深く統合された、包括的でエンドツーエンドのセキュリティ体制を構築するためです。」
として Web3 エコシステムの規模が拡大するにつれて、脆弱なセキュリティのコストは上昇し続ける。 FBIの2024年インターネット犯罪苦情センター IC3（国際暗号資産保護機構）の報告書によると、暗号資産関連の詐欺による損失は9.3億ドルに上り、前年比66%増加しました。また、デジタル資産に関する苦情は150,000万件近くに上りました。このようなパートナーシップは、業界のセキュリティとリスク基準の基準を高めることで、この傾向を逆転させることを目指しています。現在のアプローチは、 DeFi 監査だけではもはや十分ではなく、業界ではより高度で積極的なセキュリティ体制が求められています。
Certoraは、業界最高峰の企業と連携することで、セキュリティへのアプローチを成熟させる新たな道を切り開きます。セキュリティ基準をさらに引き上げる新たなモデルを開拓します。 DeFi セキュリティに関しては、Certora と Cork が協力してこれを初めて市場に投入します。
「Certoraは、航空宇宙や金融などの業界で使用されているエンタープライズグレードの厳格な保証を分散型システムにもたらすために設立されました」と、CertoraのCEOであるセス・ハレム氏は述べています。「CorkとHypernativeとの提携により、私たちは1つのプロトコルを支援するだけでなく、defiどうやって Web3 リスク、透明性、運用の回復力に対処します。」
「Web3 「セキュリティは今日、この業界における悪質な行為者を排除するために、新たな一歩を踏み出しています」と、Hypernativeの共同創業者兼CEOであるGal Sagie氏は付け加えました。「しかし、今回のコラボレーションを通じて、この業界で活動するすべての人々のリスク基準を向上させる方法を見つけられることも、同様に喜ばしいことです。」
Cork、Certora、Hypernativeは協力して、プロトコルに設計段階からセキュリティを組み込むためのモデルを構築し、ユーザーにとってより安全であるだけでなく、開発者にとってより堅牢でスケーラブルなシステムを構築しています。このパートナーシップの内容に関する詳細は、こちらをご覧ください。 blog.
Certoraについて
Certoraは、業界をリードする形式検証ツールとスマートコントラクト監査を提供するブロックチェーンセキュリティ企業です。Certoraの主力セキュリティ製品であるProverは、Aave、Lido、Makerなどのプロトコルが開発パイプラインに形式検証のパワーを統合し、稀で発見が困難なバグさえも検出できるよう支援しています。
コークについて
Corkは、トークン化されたリスクのための新たなプリミティブを導入します。これは、Vaultトークン、利回り付きステーブルコイン、流動性（再）ステーキングトークン、RWAなどのオンチェーン資産向けのプログラム可能なリスクレイヤーとして機能します。Corkのコアプリミティブにより、資産運用会社や発行体は、オンチェーン資産の償還流動性、リスクの透明性、そして市場の信頼性を高めるカスタムスワップ市場を立ち上げることができます。a16z crypto、OrangeDAO、Steakhouse Financialの支援を受けるCorkは、機関投資家の資金をオンチェーン信用市場に取り込むために必要なリスクインフラを構築しています。
ハイパーネイティブについて
Hypernativeは、リアルタイム監視、リスク検知、自動対応ソリューションです。脅威を高精度に特定し、エクスプロイトによる被害が発生する前に、お客様に貴重な対応時間を提供します。このプラットフォームは、オンチェーンとオフチェーンの両方のデータソースを追跡します。実績のある高度な機械学習モデル、ヒューリスティック、シミュレーション、グラフベースの検出技術を駆使し、スマートコントラクトのハッキングやブリッジセキュリティインシデントから、フロントエンドの侵害、市場操作、秘密鍵の盗難まで、300種類以上のリスクを特定します。詳細については、こちらをご覧ください。 ハイパーネイティブ.
お問い合わせください
シニアPRマネージャー
ワハジ・カーン
セロトニン
[メール保護]
免責事項
に沿って トラストプロジェクトのガイドライン, このページで提供される情報は、法律、税金、投資、財務、またはその他の形式のアドバイスを目的としたものではなく、そのように解釈されるべきではないことに注意してください。 損失しても許容できる金額のみを投資し、疑問がある場合は独立した財務上のアドバイスを求めることが重要です。 詳細については、利用規約のほか、発行者または広告主が提供するヘルプおよびサポート ページを参照することをお勧めします。 MetaversePost は正確で公平なレポートに努めていますが、市場の状況は予告なく変更される場合があります。
Chainwire はブロックチェーンと暗号通貨のトップニュースワイヤーであり、プレスリリースを配信し、暗号ニュースの報道を最大化しています。
