GATE D1
Tổng quát hoá hợp số 14, ứng viên bị bác
Điều gì thay đổi
Landing affine sai cho k=13 vì đơn vị tác động tầm thường mod 2. Chỉ thị lũy đẳng CRT là chính xác nhưng không cứu được mục tiêu sai. Ứng viên bị bác bằng phản ví dụ.
Bằng chứng
kiểm 1Mệnh đề landing sai trên 8.5% tuple lấy mẫu, giữ phản ví dụ
kiểm 2Mọi đơn vị đều lẻ, nên tính chẵn lẻ bị khóa dưới tác động đơn vị
kiểm 3Chỉ thị lũy đẳng CRT chính xác trên mọi modulo hợp số đã thử
Kiểm chứng: single · I2 · 9 artifact (report, verifier, bộ tấn công, manifest SHA-256)