Tel Aviv-Yafo, Israel, ngày 21 tháng 11 năm 2025, Chainwire
Certora, nền tảng đảm bảo an ninh toàn diện được các đội ngũ tiên tiến nhất trong Web3 tin tưởng, hôm nay đã công bố Certora AI Composer, một nền tảng mã hóa AI mã nguồn mở kết hợp trí tuệ nhân tạo với kiểm định hình thức (formal verification) nhằm giúp phát triển hợp đồng thông minh nhanh hơn và an toàn hơn.
Khác với các công cụ “AI cho mã lập trình” thông thường chỉ tập trung vào tốc độ và sự tiện lợi, Certora AI Composer đảm bảo rằng mọi đoạn mã do AI tạo ra đều tuân thủ các quy tắc an toàn toán học trước khi được chạy. Bằng cách tích hợp công nghệ kiểm định hình thức đã được chứng minh của Certora trực tiếp vào vòng lặp tạo mã của AI, các nhà phát triển có thể tự tin khám phá các ý tưởng thiết kế mà vẫn đảm bảo các nguyên tắc bảo mật luôn được kiểm tra liên tục thay vì chỉ được bổ sung sau.
“Việc sử dụng AI không bao giờ nên đồng nghĩa với việc thỏa hiệp về an toàn. Certora AI Composer chứng minh rằng AI và kiểm định hình thức có thể phối hợp để khiến phát triển hợp đồng thông minh trở nên tin cậy ngay từ đầu,” nhà sáng lập Certora, ông Mooly Sagiv, giải thích. “Bản phát hành alpha này là lời mời của chúng tôi tới cộng đồng, cùng chung tay định hình tương lai của lập trình tự động an toàn.”
Certora AI Composer Alpha sẽ là mã nguồn mở bắt đầu từ ngày 4 tháng 12 và sẽ được cộng đồng truy cập trên GitHub. Các nhà phát triển được khuyến khích thử nghiệm, đóng góp ý kiến phản hồi và cùng góp phần xây dựng một tiêu chuẩn mới cho phát triển dựa trên AI được kiểm chứng.
Tính năng chính:
- Tích hợp kiểm định hình thức cho mã do AI sinh ra
- Dễ dàng mở rộng mã nguồn mở để xây dựng các module an toàn riêng
- Được hỗ trợ bởi Certora Prover, công cụ kiểm định tin cậy trong ngành của Certora
Certora cũng sẽ tổ chức một sự kiện livestream vào ngày 4 tháng 12 với chủ đề “AI Gặp Gỡ Kiểm Định: Thảo Luận Mở Cùng Các Nhà Nghiên Cứu Certora”, cung cấp mô tả chi tiết về cách Certora AI Composer vận hành và cách nó có thể nâng cao bảo mật.
Người dùng có thể đăng ký tham dự sự kiện TẠI ĐÂY và theo dõi Certora trên Twitter tại @CertoraInc để cập nhật thông tin và nhận nhắc nhở trong tương lai.
Về Certora
Certora là đối tác đảm bảo an ninh được các đội ngũ tiên tiến nhất trong Web3 tin tưởng. Được thành lập vào năm 2018 bởi những người tiên phong trong lĩnh vực ngôn ngữ lập trình và phương pháp hình thức, Certora giúp các giao thức hàng đầu như Lido, Aave, Uniswap và Compound bảo vệ giá trị hàng tỷ đô la một cách tự tin.
Liên hệ
VP Marketing Ilya Leybovich Certora ilya@certora.com
Bài viết này không nhằm mục đích cung cấp lời khuyên tài chính. Chỉ dành cho mục đích giáo dục.
Tuyên bố miễn trừ trách nhiệm: Thông tin trên trang này có thể đến từ bên thứ ba và không đại diện cho quan điểm hoặc ý kiến của Gate. Nội dung hiển thị trên trang này chỉ mang tính chất tham khảo và không cấu thành bất kỳ lời khuyên tài chính, đầu tư hoặc pháp lý nào. Gate không đảm bảo tính chính xác hoặc đầy đủ của thông tin và sẽ không chịu trách nhiệm cho bất kỳ tổn thất nào phát sinh từ việc sử dụng thông tin này. Đầu tư vào tài sản ảo tiềm ẩn rủi ro cao và chịu biến động giá đáng kể. Bạn có thể mất toàn bộ vốn đầu tư. Vui lòng hiểu rõ các rủi ro liên quan và đưa ra quyết định thận trọng dựa trên tình hình tài chính và khả năng chấp nhận rủi ro của riêng bạn. Để biết thêm chi tiết, vui lòng tham khảo
Tuyên bố miễn trừ trách nhiệm.
