Aptos Labs hợp tác với Đại học Thanh Hoa phát triển công cụ kiểm tra thuật toán đồng thuận hỗ trợ sự phát triển của giao thức đồng thuận hiệu suất cao Raptr

Vào ngày 10 tháng 6, Aptos Labs đã công bố sự hợp tác với Wingtecher Labs, một nhóm bảo mật hệ thống phần mềm tại Đại học Thanh Hoa, để cùng phát triển một công cụ thử nghiệm tiên tiến xung quanh việc triển khai các thuật toán đồng thuận. Công cụ này kết hợp kiểm tra tự động, khám phá không gian trạng thái giao thức và phát hiện lỗi logic để giúp đặt nền tảng vững chắc cho sự ổn định và bảo mật của giao thức đồng thuận hiệu suất cao thế hệ tiếp theo của Aptos, Raptr.

Sự hợp tác này kết hợp nghiên cứu học thuật hàng đầu với các thực hành kỹ thuật tiên tiến, không chỉ giúp tăng cường đảm bảo chất lượng của giao thức cốt lõi của chính Aptos mà còn tạo động lực sáng tạo vào khả năng thử nghiệm và đảm bảo hệ thống của cơ sở hạ tầng blockchain. Bằng cách thúc đẩy chuỗi công cụ thử nghiệm mạnh mẽ và bền vững hơn, chúng tôi đặt ra tiêu chuẩn cho tiến bộ công nghệ và phát triển bền vững trong 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 đã được triển khai và khởi động thử nghiệm.