Đại học Thanh Hoa và Aptos Labs hợp tác thúc đẩy đổi mới trong các công cụ kiểm tra thuật toán đồng thuận

Theo tin từ Mars Finance, Aptos Labs tuyên bố hợp tác với nhóm Bảo đảm An ninh Hệ thống Phần mềm Wingtecher Labs của Đại học Thanh Hoa, nhằm phát triển một công cụ thử nghiệm tiên tiến xoay quanh việc triển khai thuật toán đồng thuận. Công cụ này kết hợp khả năng thử nghiệm tự động, khám phá không gian trạng thái giao thức, cùng chức năng phát hiện lỗi logic, giúp đặt nền móng vững chắc cho tính ổn định và an toàn của giao thức đồng thuận thế hệ mới Raptr của Aptos. Sự hợp tác này kết hợp nghiên cứu học thuật đỉnh cao và thực tiễn kỹ thuật tiên phong, không chỉ giúp tăng cường chất lượng bảo đảm của các giao thức cốt lõi của Aptos, mà còn tiêm động lực sáng tạo cho khả năng thử nghiệm và bảo đảm hạ tầng blockchain. Thông qua việc thúc đẩy xây dựng chuỗi công cụ thử nghiệm mạnh mẽ và bền vững, dự án đã thiết lập một tiêu chuẩn cho sự tiến bộ và phát triển liên tục của ngành. Dự án dự kiến sẽ hoàn thành vào quý 2 năm 2026 hoặc trước đó, giai đoạn tích hợp đầu tiên hiện đã ra mắt và bắt đầu thử nghiệm thực nghiệm.