Certora ra mắt nền tảng lập trình AI an toàn đầu tiên dành cho hợp đồng thông minh

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

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 xác minh hình thức nhằm giúp phát triển smart contract nhanh hơn và an toàn hơn.

Khác với các công cụ “AI-for-code” 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 trực tiếp công nghệ xác minh hình thức đã được chứng minh của Certora vào quy trình tạo mã AI, các nhà phát triển có thể tự tin khám phá các ý tưởng thiết kế trong khi biết rằng các bất biến an ninh luôn được kiểm tra liên tục thay vì chỉ kiểm tra sau cùng.

“Việc sử dụng AI không bao giờ nên đồng nghĩa với việc đánh đổi sự an toàn. Certora AI Composer chứng minh rằng AI và xác minh hình thức có thể phối hợp để khiến phát triển smart contract trở nên đáng tin cậy ngay từ đầu,” nhà sáng lập Certora, 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 nhau định hình tương lai của lập trình tự động an toàn.”

Certora AI Composer Alpha sẽ được mã nguồn mở bắt đầu từ ngày 4 tháng 12 và sẽ có sẵn cho cộng đồng trên GitHub. Các nhà phát triển được khuyến khích thử nghiệm, đóng góp ý kiến và cùng xây dựng một tiêu chuẩn mới cho phát triển dựa trên AI đã được xác minh.

Những tính năng chính:

• Tích hợp kiểm tra xác minh hình thức cho mã do AI tạo ra
• Có thể 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ụ xác minh được 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 tiêu đề “AI Meets Verification: An Open Discussion with Certora Researchers”, trong đó sẽ cung cấp mô tả chi tiết về cách Certora AI Composer hoạt động và những gì nó có thể làm để tăng cường bảo mật. 

Người dùng có thể đăng ký tham gia sự kiện TẠI ĐÂY, và theo dõi họ trên Twitter tại @CertoraInc để nhận các cập nhật và 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 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ệ hàng tỷ giá trị một cách tự tin.