Certora hợp tác với Cork và Hypernative để thiết lập tiêu chuẩn mới cho bảo mật Web3

Ngày 13 tháng 11 năm 2025 – Tel Aviv, Israel

Certora, đối tác đảm bảo an ninh được các đội ngũ tiên tiến nhất trong Web3 tin tưởng, hôm nay đã công bố hợp tác chiến lược với Cork, một giao thức tiên phong về hạ tầng quản lý rủi ro cho DeFi, và Hypernative, đơn vị dẫn đầu về giám sát mối đe dọa theo thời gian thực.

Thông qua sự hợp tác này, Certora trở thành Đối tác An ninh Chính thức của Cork, tích hợp an ninh ở mọi lớp trong vòng đời của giao thức, từ thiết kế và xác minh đến triển khai, giám sát và vận hành.

Quan hệ hợp tác này quy tụ ba đơn vị dẫn đầu cam kết nâng cao an ninh và tính toàn vẹn của các hệ thống Web3. Bằng cách kết hợp xác minh hình thức và khung an ninh đầu-cuối của Certora với giám sát thời gian thực tiên tiến của Hypernative, người dùng Cork sẽ được hưởng lợi từ các biện pháp bảo vệ cấp tổ chức và giảm thiểu rủi ro chủ động, được thiết kế cho thế hệ tài chính onchain tiếp theo.

“An ninh kiểu truyền thống không đủ cho DeFi,” Baptiste Florentin, CTO của Cork cho biết. “Chúng tôi là một đội ngũ tập trung xây dựng hạ tầng thị trường trọng yếu, và các rủi ro là thực tế. Chúng tôi chọn Certora để vượt qua các cuộc kiểm toán tại một thời điểm nhất định và xây dựng một kỷ luật an ninh toàn diện, đầu-cuối, được tích hợp sâu vào mã nguồn, quản lý thay đổi và vận hành sản xuất của chúng tôi.”

Khi hệ sinh thái Web3 mở rộng, chi phí của an ninh yếu ngày càng tăng. Theo báo cáo năm 2024 của Trung tâm Khiếu nại Tội phạm Internet (IC3) của FBI, các vụ lừa đảo liên quan đến crypto đã gây thiệt hại 9.3 billions USD, tăng 66% so với năm trước, với gần 150,000 khiếu nại liên quan đến tài sản số. Những hợp tác như thế này nhằm đảo ngược xu hướng đó bằng cách nâng cao tiêu chuẩn cơ bản về an ninh và quản lý rủi ro của ngành. Cách tiếp cận kiểm toán DeFi hiện tại không còn đủ, ngành công nghiệp hiện nay đòi hỏi một tư thế an ninh tiên tiến và chủ động hơn. 

Certora đánh dấu một hướng đi mới trong việc hoàn thiện cách tiếp cận an ninh của chúng tôi bằng cách hợp tác với những đơn vị tốt nhất trong ngành. Tiên phong một mô hình mới nâng cao tiêu chuẩn an ninh cho DeFi, Certora và Cork cùng nhau đưa điều này ra thị trường lần đầu tiên.

“Certora được thành lập nhằm mang sự nghiêm ngặt của đảm bảo cấp doanh nghiệp, vốn được sử dụng trong các ngành như hàng không và tài chính, đến các hệ thống phi tập trung,” Seth Hallem, CEO của Certora cho biết. “Bằng việc hợp tác với Cork và Hypernative, chúng tôi không chỉ hỗ trợ một giao thức; chúng tôi đang giúp định nghĩa lại cách Web3 xử lý rủi ro, minh bạch và khả năng phục hồi vận hành.”“An ninh Web3 hôm nay đang tiến thêm một bước để loại bỏ các tác nhân xấu trong ngành này,” Gal Sagie, Đồng sáng lập kiêm CEO của Hypernative bổ sung. “Nhưng tôi cũng rất vui vì thông qua hợp tác này, chúng tôi đang tìm ra cách nâng cao tiêu chuẩn rủi ro cho tất cả những ai hoạt động trong lĩnh vực này.”

Cùng nhau, Cork, Certora và Hypernative đang xây dựng một mô hình về cách các giao thức có thể tích hợp an ninh ngay từ thiết kế, tạo ra các hệ thống không chỉ an toàn hơn cho người dùng mà còn mạnh mẽ và có khả năng mở rộng hơn cho các nhà phát triển.

Về Certora

Certora là một công ty an ninh blockchain cung cấp các công cụ xác minh hình thức hàng đầu ngành và kiểm toán hợp đồng thông minh. Sản phẩm an ninh chủ lực của Certora, Prover, đang giúp các giao thức như Aave, Lido và Maker tích hợp sức mạnh của xác minh hình thức vào quy trình phát triển để phát hiện cả những lỗi hiếm gặp và khó tìm nhất.

Về Cork

Cork giới thiệu một nguyên thủy mới cho rủi ro được mã hóa, đóng vai trò là lớp rủi ro có thể lập trình cho các tài sản onchain như vault tokens, stablecoin sinh lợi, liquid (re)staking tokens và RWAs. Nguyên thủy cốt lõi của Cork cho phép các nhà quản lý tài sản và nhà phát hành tạo ra các thị trường hoán đổi tùy chỉnh nhằm tăng tính thanh khoản khi mua lại, minh bạch rủi ro và sự tin tưởng thị trường cho các tài sản onchain của họ. Được hậu thuẫn bởi a16z crypto, OrangeDAO & Steakhouse Financial, Cork đang xây dựng hạ tầng rủi ro cần thiết để đưa dòng vốn tổ chức vào thị trường tín dụng onchain.

Về Hypernative

Hypernative là giải pháp giám sát thời gian thực, phát hiện rủi ro và phản ứng tự động, xác định các mối đe dọa với độ chính xác cao, giúp khách hàng có những phút quý giá để phản ứng trước khi các cuộc tấn công gây thiệt hại. Nền tảng này theo dõi cả nguồn dữ liệu onchain và offchain. Nó sử dụng các mô hình học máy tinh vi đã được kiểm chứng, phương pháp heuristic, mô phỏng và phát hiện dựa trên đồ thị để xác định hơn 300 loại rủi ro, từ hack hợp đồng thông minh, sự cố bảo mật cầu nối, đến xâm phạm giao diện người dùng, thao túng thị trường và đánh cắp khóa riêng tư.

Liên hệ

Quản lý PR cấp cao
Wahaj Khan
Serotonin