Đại học Tsinghua hợp tác với Aptos Labs thúc đẩy đổi mới công cụ thử nghiệm thuật toán đồng thuận

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ụ kiểm tra 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ý II năm 2026, với giai đoạn tích hợp đầu tiên hiện đang hoạt động và thử nghiệm thử nghiệm đã được bắt đầu.