TechFlow tin tức, theo thông tin từ tài khoản WeChat chính thức, công ty an ninh blockchain và hợp đồng thông minh toàn cầu CertiK đã hoàn thành việc kiểm chứng hình thức tiên tiến đối với môi trường thực thi đáng tin cậy mở đa nền tảng HyperEnclave của Tập đoàn Ant.
Theo đó, HyperEnclave – môi trường thực thi đáng tin cậy phần mềm mở đa nền tảng của Ant Group – do đội ngũ công nghệ gốc đáng tin cậy phát triển, nhằm nâng cao hiệu quả và khả năng tương thích cho các tải trọng công việc tính toán bảo vệ quyền riêng tư của Ant Group.
Quá trình kiểm chứng hình thức của CertiK bao gồm việc áp dụng phương pháp chứng minh được kiểm tra bằng máy để xác minh tính đúng đắn và an toàn của mã nguồn HyperEnclave, trong đó có thành phần then chốt nhất là RustMonitor. CertiK đã sử dụng phương pháp kiểm chứng mã hệ thống tiên tiến độc quyền của mình, phát triển một khung làm việc tùy chỉnh dành riêng để xác minh mã nguồn Rust.
