テルアビブ、イスラエル、11月13日、2025/Chainwire/-- Web3で最も先進的なチームが信頼しているセキュリティ保証パートナー、本日、Web3との戦略的パートナーシップを発表しました。 DeFiのリスク管理インフラの先駆的なプロトコル、および このコラボレーションを通じて、CertoraはCorkのセキュリティパートナーとなり、プロトコルのライフサイクルのあらゆる段階、設計と検証から展開、モニタリング、操作まで、セキュリティを組み込んでいます。 確実 コーク 催眠 確実 コーク 催眠 このパートナーシップは、Web3システムのセキュリティと整合性を推進することにコミットした3人のリーダーを結びつけることであり、Certoraの公式検証とエンド-to-エンドセキュリティ・フレームワークとHypernativeの高度なリアルタイム・モニタリングを組み合わせることで、Corkユーザーは、次世代のオンチェーン・ファイナンス向けに設計された機関レベルのセキュリティーとプロアクティブなリスク緩和の恩恵を受けることになります。 「従来のビジネスとしてのセキュリティは、DeFiを削減するものではありません」とCorkのCTOであるBaptiste Florentin氏は述べた。「我々は重要な市場インフラを構築する集中的なチームであり、リスクは現実的です。 「従来のビジネスとしてのセキュリティは、DeFiを削減するものではありません」とCorkのCTOであるBaptiste Florentin氏は述べた。「我々は重要な市場インフラを構築する集中的なチームであり、リスクは現実的です。 Web3エコシステムが拡大するにつれて、弱いセキュリティのコストは増加し続けています。 (IC3)の報告書によると、仮想通貨関連の詐欺は930億ドルの損失を占め、前年比で66%増加し、デジタル資産に関わる苦情が15万件近くあった。 FBIの2024インターネット犯罪苦情センター FBIの2024インターネット犯罪苦情センター Certora はセキュリティへのアプローチを成熟させる新たな道を示し、ビジネスの最良のチームと協力し、DeFi セキュリティの基準を高める新しいモデルを先駆け、Certora と Cork はこれを初めて市場に導入することに合意しました。 「Certoraは、航空や金融などの業界で使用されるエンタープライズグレードのセキュリティの厳格さを分散型システムに提供するために設立されました」とCertoraのCEOSeth Hallemは述べました。 「Certoraは、航空や金融などの業界で使用されるエンタープライズグレードのセキュリティの厳格さを分散型システムに提供するために設立されました」とCertoraのCEOSeth Hallemは述べました。 「Web3 セキュリティは、この業界の悪役をフィルタリングするために今日、もう一つの飛躍を踏み出している」と、Hypernative の共同創設者兼CEOである Gal Sagie は付け加えた。 「Web3 セキュリティは、この業界の悪役をフィルタリングするために今日、もう一つの飛躍を踏み出している」と、Hypernative の共同創設者兼CEOである Gal Sagie は付け加えた。 Cork、Certora、およびHypernativeは、プロトコルが設計によってセキュリティを組み込む方法のモデルを構築し、ユーザーにとって安全なだけでなく、開発者にとってより強力でスケーラブルなシステムを作成しています。 . ブログ ブログ Certoraについて Certoraは、業界をリードする公式検証ツールとスマート契約監査を提供するブロックチェーンセキュリティ会社です。Certoraのフラッグシップセキュリティ製品、Proverは、Aave、Lido、Makerなどのプロトコルが、公式検証のパワーを開発パイプラインに統合して、希少で見つかりにくいバグさえ捕まえるのを助けています。 Corkについて Corkは、ボールトークン、収益を伴うstablecoins、液体(再)ストッキングトークン、およびRWAなどのオンチェーン資産のプログラミング可能なリスク層として機能するトークンリスクのための新しい原始を導入します。Corkのコア原始は、資産マネージャーと発行者がカスタマイズされたスワップ市場をスピンアップすることを可能にし、回収流動性、リスク透明性、およびオンチェーン資産の市場信頼性を向上させます。a16zの暗号化、OrangeDAO & Steakhouse FinancialによってサポートされているCorkは、オンチェーンクレジット市場に機関資本を導入するために必要なリスクインフラを構築しています。 ハイパーナティブについて Hypernative はリアルタイムのモニタリング、リスク検出、および自動対応ソリューションで、脅威を高精度で識別し、利用者が損害を引き起こす可能性がある前に顧客に反応する貴重な時間を提供します。プラットフォームはオンチェーンおよびオフチェーンのデータソースの両方を追跡します。それは、戦闘テスト、高度な機械学習モデル、エウリスティクス、シミュレーション、グラフベースの検出を使用して、スマート コントラクトのハックやブリッジ セキュリティ インシデントからフロントエンドの妥協、市場操作、およびプライベート キー盗難まで、300種類以上のリスクを識別します。 . ハイライト.io ハイライト.io コンタクト PRマネージャー ワハイ・ハン セロトニン セロトニン@serotonin.co この記事は、HackerNoonのビジネスブログプログラムの下、Chainwireのプレスリリースとして掲載されました。 この記事は、HackerNoonのビジネスブログプログラムの下、Chainwireのプレスリリースとして掲載されました。 プログラム プログラム