🚨MỚI NHẤT: @CertoraInc, một công ty bảo mật và kiểm toán tiền điện tử, đã giới thiệu một AI Composer mã nguồn mở tích hợp xác minh chính thức trực tiếp vào mã hợp đồng thông minh được tạo ra bởi AI. Công cụ này thực hiện các kiểm tra an toàn toán học trước khi thực thi.