Kết quả phân tách: tự kiểm chứng chính xác các tương quan lượng tử không đảm bảo tính bền vững. Xây dựng đại số toán tử tạo ra tương quan đồng bộ tự kiểm chứng nhưng chống lại nhiễu loạn—tiến bộ các giao thức chứng thực lượng tử độc lập với thiết bị.
