GATE D23
Cut khả-dĩ toàn cục sớm
Điều gì thay đổi
D22 bị giới hạn vì kiểm toàn cục thật duy nhất của nó đợi tới bước tái dựng cuối, và cho tới đó khớp dấu vân tay theo từng prime không loại gì. Sửa chữa là có nhiều hơn một kiểm toàn cục sẵn sớm, trước ngưỡng tái dựng. Một trạng thái symbolic có thể bị loại rất lâu trước khi tái dựng cả tuple tốc độ, vì một trong hai lý do độc lập. Thứ nhất, khả năng sinh số học: các giá trị hàm đối xứng của nó đơn giản không thể đến từ mười ba bình phương số nguyên có chặn, điều mà các bất đẳng thức cổ điển giữa các hàm đối xứng thường chứng nhận được. Thứ hai, impropriety sớm trên các refinement grid: nó đã hỏng trên lưới thời gian tinh hơn tại level mười bốn, đúng nơi phủ nền p=197 hóa ra proper, rất lâu trước khi tái dựng tuple nào. D23 chạy cả hai nhánh song song, mang residue toàn cục trên các lưới level mười bốn, hai tám và bốn hai cùng residue modulo mỗi prime, và cắt một trạng thái symbolic ngay khi một trong hai kiểm toàn cục bác nó, với một định lý và một proof hash cho mỗi cut. Regression bắt buộc là nhân chứng p=197, một phủ nền thật proper tại level mười bốn, phải kích hoạt một cut sớm trước tái dựng đầy đủ. Không tăng ngân sách compute, và không có gì về giả thuyết được quyết bởi việc mở gate này. LRC(13) vẫn mở.
Bằng chứng
Kiểm chứng: double · I2 · 10 artifact (report, verifier, bộ tấn công, manifest SHA-256)