Buổi biểu diễn
So sánh
Chi tiết
Nội dung này do RD AI tạo ra, chỉ mang tính tham khảo
Certora là một công ty bảo mật hợp đồng thông minh giúp các nhà phát triển phát hiện và ngăn chặn các lỗi bảo mật trước khi mã của họ được triển khai. Certora có một công nghệ độc đáo có tên là Certora Prover giúp kiểm tra tại thời điểm biên dịch xem tất cả việc thực thi hợp đồng thông minh có đáp ứng một bộ quy tắc bảo mật hay không.
Đội
Theo dõi cập nhật
Theo dõi danh sách
Nhân vật
Về Certora
Certora cung cấp các công cụ xác minh hình thức và dịch vụ kiểm toán hợp đồng thông minh cho các giao thức blockchain. Sản phẩm cốt lõi của họ, Certora Prover, sử dụng các phương pháp toán học để xác minh rằng mã hợp đồng đáp ứng các thuộc tính đã chỉ định, thay vì chỉ dựa vào so khớp mẫu hoặc đánh giá thủ công. Vấn đề khó khăn trên thị trường là các cuộc kiểm toán và thử nghiệm mã truyền thống không thể bao quát toàn bộ các đường dẫn thực thi có thể xảy ra, đặc biệt là đối với các giao thức DeFi phức tạp, nơi các lỗi logic tinh vi có thể dẫn đến tổn thất tài chính nghiêm trọng. Cách tiếp cận của Certora cho phép các nhà phát triển viết các đặc tả hình thức bằng ngôn ngữ CVL của họ và chứng minh rằng mã hoạt động chính xác trên tất cả các trạng thái và đầu vào có thể có. Trong sáu tháng qua (tháng 3 đến tháng 9 năm 2026), Certora đã ra mắt AutoProver, một hệ thống do AI điều khiển tự động đọc mã và tài liệu, tạo ra các đặc tả hình thức và tạo ra các báo cáo xác minh. Công ty cũng đã công bố một khung bảo mật được phát triển cùng với Aave cho giao thức Aave V4, bao gồm việc xác minh hình thức liên tục trong suốt chu kỳ phát triển thay vì chỉ kiểm toán một lần. Ngoài ra, Certola đã tổ chức các buổi thảo luận trực tiếp, chỉ ra rằng các cuộc tấn công DeFi ngày càng nhắm vào cơ sở hạ tầng ngoài chuỗi và các quy trình vận hành, không chỉ logic hợp đồng thông minh, đồng thời nhấn mạnh sự cần thiết của các thực hành bảo mật liên tục vượt ra ngoài các cuộc kiểm toán tại một thời điểm.
Certora được thành lập bởi Shmuel Sagiv, nhà tiên phong trong lĩnh vực xác minh hình thức, dựa trên nhiều thập kỷ nghiên cứu học thuật, mang bằng chứng toán học vào bảo mật hợp đồng thông minh. Kể từ năm 2020, Certora đã cung cấp xác minh hình thức cho Aave, phát hiện nhiều lỗ hổng nghiêm trọng trong Aave V1 và liên tục bảo vệ V2 và V3. Tổng cộng, họ đã xem xét hơn 120 hợp đồng, viết hơn 800 quy tắc và tìm ra 28 lỗi nghiêm trọng, ngăn chặn tổn thất hàng tỷ đô la. Ngoài ra, trong Sushiswap's Trident, Certora đã phát hiện và ngăn chặn một lỗ hổng nghiêm trọng có thể làm cạn kiệt pool. Năm 2022, Certora huy động được 36 triệu đô la trong vòng Series B do Jump Crypto dẫn đầu. Vào tháng 2 năm 2025, Certora đã mã nguồn mở Prover cốt lõi của mình, cho phép các nhà phát triển tự do sử dụng các công cụ xác minh hình thức cấp công nghiệp, đánh dấu sự chuyển đổi mô hình từ kiểm toán thủ công sang đảm bảo toán học trong bảo mật hợp đồng thông minh.
Trong sáu tháng qua, Certora đã đạt được những bước tiến quan trọng trong bảo mật hợp đồng thông minh. Vào tháng 3 năm 2026, Certora và Aave đã công bố khung bảo mật Aave V4 sau sáu năm hợp tác. Bằng cách tích hợp xác minh hình thức, kiểm thử đối kháng và kiểm toán thủ công từ giai đoạn phát triển ban đầu, họ đã xem xét 169 hợp đồng và hơn 51.000 dòng mã, viết hơn 800 quy tắc và ngăn chặn 28 lỗ hổng nghiêm trọng. Vào tháng 5 năm 2026, Certora đã giành được khoản tài trợ ~300.000 USD từ Canton Foundation để xây dựng công cụ phân tích tĩnh mã nguồn mở cho Daml, tự động hóa kiểm tra tương tác giữa các gói và tích hợp với dpm CLI nhằm củng cố lòng tin đa bên. Trong tương lai, Certora ưu tiên chuyển từ kiểm toán theo thời điểm sang kỹ thuật bảo mật liên tục, nhúng xác minh vào quy trình phát triển, và mở rộng sang các hệ thống đa bên thể chế và môi trường thực thi không kiến thức (ví dụ: zkEVM) bằng cách mã nguồn mở các thông số kỹ thuật và khung tái sử dụng.
Đồng sáng lập: Shelly Grossman, Đồng sáng lập kiêm CTO. Ban lãnh đạo cốt lõi hiện tại: Mooly Sagiv, CEO; Saurabh Sharma, Thành viên Hội đồng quản trị; Andrew Flesch, Phó Chủ tịch Kinh doanh Toàn cầu; Idit Kronzon, Phó Chủ tịch; Sofi Vissani, Phó Chủ tịch Kinh doanh; Elad Erdheim, Phó Chủ tịch Phòng thí nghiệm Nghiên cứu Bảo mật; Maya Glik Dubovi, Phó Chủ tịch Thành công Khách hàng; Ilya Leybovich, Phó Chủ tịch Tiếp thị.
Những thay đổi nhân sự gần đây của Certora: Nhà nghiên cứu bảo mật cao cấp Jelle Goethals gia nhập vào tháng 1 năm 2025 và rời đi vào tháng 8 năm 2026. Theo các nguồn tin công khai, đội ngũ nghiên cứu bảo mật của Certora đã tăng gấp bốn lần trong năm 2025 và tiếp tục mở rộng, với tổng số nhân viên đạt 125 người tính đến tháng 3 năm 2026. Bất chấp sự ra đi của một nhà nghiên cứu chủ chốt, toàn bộ đội ngũ vẫn duy trì đà tăng trưởng.