GATE D5
Chuyển đồng đều theo prime, mọi p>182
Điều gì thay đổi
Một prime p=191 trở thành định lý theo prime: giao diện tight k=13 proper với MỌI prime p>182. Phép thử nhân chứng rút gọn bằng CRT về dạng độc lập với p, mỗi đại diện có một s cố định và một cung nhân chứng hữu tỉ chính xác, và bổ đề điểm lưới cho nhân chứng với mọi p trên ngưỡng P0=78, nên không có prime ngoại lệ nào.
Bằng chứng
kiểm 1Công thức nhân chứng rút gọn CRT kiểm khớp chính xác với cả 16.171 nhân chứng D4 (0 lệch)
kiểm 2Ngưỡng tổng hợp P0=78, prime ngoại lệ trong phạm vi = không (183 > 78)
kiểm 3Hai verifier độc lập CHẤP NHẬN, 18/18 tấn công bị từ chối, k nhỏ khớp chân trị vét cạn
Kiểm chứng: double · I2 · 13 artifact (report, verifier, bộ tấn công, manifest SHA-256)