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, để phát triển một công cụ thử nghiệm tiên tiến để triển khai 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 thế hệ tiếp theo của Aptos, Raptr. Dự án dự kiến vào năm 2026