텔아비브, 이스라엘, 11월 13일, 2025/Chainwire/-- Web3에서 가장 진보된 팀이 신뢰하는 보안 보증 파트너 인 Web3은 오늘 전략적 파트너십을 발표했습니다. , DeFi에 대한 획기적인 위험 관리 인프라 프로토콜, and 이 협력을 통해 Certora는 Cork의 보안 파트너가 되며, 설계 및 검증에서부터 배포, 모니터링 및 운영에 이르기까지 프로토콜 수명 주기의 모든 계층에 보안을 포함합니다. 확실히 코르크 하이퍼나이트 확실히 코르크 하이퍼나이트 이 파트너십은 Web3 시스템의 보안 및 무결성을 향상시키는 데 헌신하는 3 명의 리더를 모으고 있으며, Certora의 공식 검증 및 엔드-to-엔드 보안 프레임 워크와 Hypernative의 고급 실시간 모니터링을 결합함으로써 Cork 사용자는 다음 세대의 onchain 금융을 위해 설계된 기관 수준의 보안 및 예방적 위험 감소 혜택을 누릴 것입니다. “일상적인 비즈니스와 같은 보안은 DeFi를 절단하지 않는다”고 Cork의 CTO 인 Baptiste Florentin은 말했다. “우리는 중요한 시장 인프라를 구축하는 집중된 팀이며 위험이 현실적입니다.우리는 Certora를 선택하여 포인트-인-타임 감사를 초과하고 코드베이스, 변경 관리 및 생산 운영에 깊이 통합 된 전반적인 종합 보안 분야를 구축했습니다.” “일상적인 비즈니스와 같은 보안은 DeFi를 절단하지 않는다”고 Cork의 CTO 인 Baptiste Florentin은 말했다. “우리는 중요한 시장 인프라를 구축하는 집중된 팀이며 위험이 현실적입니다.우리는 Certora를 선택하여 포인트-인-타임 감사를 초과하고 코드베이스, 변경 관리 및 생산 운영에 깊이 통합 된 전반적인 종합 보안 분야를 구축했습니다.” Web3 생태계가 확장됨에 따라 약한 보안의 비용은 계속 증가합니다. (IC3) 보고서, 암호화 관련 사기 손실은 $ 9.3 억, 전년보다 66 % 증가, 디지털 자산과 관련된 거의 150,000 불만.이와 같은 파트너십은 업계의 보안 및 위험 표준에 대한 기준을 올리면서 그 추세를 바꾸는 것을 목표로합니다.DeFi 감사에 대한 현재 접근 방식은 더 이상 충분하지 않으며 업계는 이제 더 진보되고 적극적인 보안 태도를 요구합니다. FBI 2024 인터넷 범죄 불만 센터 FBI 2024 인터넷 범죄 불만 센터 Certora는 DeFi 보안에 대한 표준을 높이는 새로운 모델을 선도하면서 Certora와 Cork는이를 처음으로 시장에 도입하기 위해 결합했습니다. "Certora는 항공 및 금융과 같은 산업에서 사용되는 기업 수준의 보증의 엄격함을 분산된 시스템에 가져오기 위해 설립되었습니다."라고 Certora의 CEO Seth Hallem은 말했습니다. "Cork와 Hypernative와의 파트너십을 통해 우리는 단지 하나의 프로토콜을 돕는 것이 아니라 Web3가 위험, 투명성 및 운영 탄력성을 어떻게 처리하는지 다시 정의하는 데 도움이됩니다." "Certora는 항공 및 금융과 같은 산업에서 사용되는 기업 수준의 보증의 엄격함을 분산된 시스템에 가져오기 위해 설립되었습니다."라고 Certora의 CEO Seth Hallem은 말했습니다. "Cork와 Hypernative와의 파트너십을 통해 우리는 단지 하나의 프로토콜을 돕는 것이 아니라 Web3가 위험, 투명성 및 운영 탄력성을 어떻게 처리하는지 다시 정의하는 데 도움이됩니다." "Web3 보안은 오늘날이 업계의 나쁜 플레이어를 필터링하기 위해 또 다른 도약을하고 있습니다."라고 Hypernative의 공동 설립자이자 CEO 인 Gal Sagie는 덧붙였다. "그러나 나는이 협력을 통해이 공간에서 작동하는 모든 사람들을위한 위험 표준을 높이는 방법을 찾는 것에 동등하게 기니다." "Web3 보안은 오늘날이 업계의 나쁜 플레이어를 필터링하기 위해 또 다른 도약을하고 있습니다."라고 Hypernative의 공동 설립자이자 CEO 인 Gal Sagie는 덧붙였다. "그러나 나는이 협력을 통해이 공간에서 작동하는 모든 사람들을위한 위험 표준을 높이는 방법을 찾는 것에 동등하게 기니다." Cork, Certora 및 Hypernative는 공동으로 프로토콜이 디자인에 따라 보안을 포함할 수 있는 방법에 대한 모델을 구축하고 있으며, 사용자에게 더 안전한 시스템을 만들 뿐만 아니라 개발자들에게도 더 강력하고 확장 가능한 시스템을 만들고 있습니다. . 블로그 블로그 Certora에 관하여 Certora의 선도적 인 보안 제품 인 Prover는 Aave, Lido 및 Maker와 같은 프로토콜이 공식 검증의 힘을 개발 파이프라인에 통합하여 희귀하고 찾기 어려운 버그조차 잡을 수 있도록 도와줍니다. Cork에 대하여 코크는 토큰화된 위험에 대한 새로운 원시를 도입하고, 보일트 토큰, 수익성 부여 stablecoins, 액체 (re)stacking tokens 및 RWA와 같은 onchain 자산을위한 프로그래밍 가능한 위험 계층으로 봉사합니다. 코크의 핵심 원시는 자산 관리자와 발행자가 인코딩 유동성, 위험 투명성 및 그들의 onchain 자산에 대한 시장 신뢰를 향상시키는 사용자 지정 스 시장을 스핀링 할 수 있습니다. a16z 암호화, OrangeDAO & Steakhouse Financial에 의해 지원되는 코크는 기관 자본을 onchain 신용 시장에 가져올 수있는 위험 인프라를 구축하고 있습니다. Hypernative에 관하여 Hypernative는 위협을 매우 정확하게 식별하여 고객에게 악용이 손상되기 전에 반응하는 귀중한 시간을 제공하는 실시간 모니터링, 위험 탐지 및 자동 응답 솔루션입니다.이 플랫폼은 onchain 및 offchain 데이터 원본을 모두 추적합니다.이 플랫폼은 전투 테스트, 정교한 기계 학습 모델, heuristics, 시뮬레이션 및 그래프 기반 검출을 사용하여 300 가지 이상의 위험 유형을 식별합니다. . 하이브리드.io 하이브리드.io 연락처 고위 PR 관리자 와하이 칸 세로토닌 에이전트@serotonin.co 이 이야기는 HackerNoon의 비즈니스 블로그 프로그램 (Business Blogging Program)에 의해 Chainwire에 의해 언론 발표로 발표되었습니다. 이 이야기는 HackerNoon의 비즈니스 블로그 프로그램 (Business Blogging Program)에 의해 Chainwire에 의해 언론 발표로 발표되었습니다. 프로그램 프로그램
