GATE D22

Loại chữ ký toàn cục implicit

partialEvidence I2Kiểm: doubleClaim công khai: Không2026-07-19

Điều gì thay đổi

D21-S cho thấy viết ra họ đầy đủ các dấu vân tay khởi đầu là lớn thiên văn, nhưng điều đó chỉ chặn hai cách tường minh để hiện thực hóa nó, không phải mọi phương pháp. Tích các tập dấu vân tay theo từng prime không phải không gian trạng thái ai đó phải dựng; các ràng buộc liên kết các prime có thể loại phần lớn trạng thái trước khi chúng được sinh. D22 đảo thứ tự một lần nữa. Thay vì liệt kê mọi dấu vân tay khởi đầu rồi lọc, nó giữ đối tượng chưa biết có chặn dạng ký hiệu, chiếu nó lên từng prime một, hỏi câu hỏi feasibility cục bộ thu hẹp nhanh, và cắt bỏ các trạng thái bất khả với một chứng minh cho mỗi cut. Hai bức tranh symbolic pilot song song: một coefficient master mang các hàm đối xứng của tốc độ bình phương, và một root master mang chính các tốc độ bình phương. Mỗi bài con cục bộ trả về một match witness, một empty chứng nhận, hoặc một open trung thực, và mọi cut pruning phải mang một định lý và một proof hash, nên không gì bị loại mà không có lý do. 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 1KHÔNG hiện thực hóa họ chữ ký ban đầu; giữ đối tượng toàn cục có chặn dạng symbolic trong khi thêm ràng buộc prime tăng dần. Hai biểu diễn master pilot song song: coefficient master trên E_j = e_j(V_i^2), root master trên X_i = V_i^2

kiểm 2Vòng lặp: chiếu trạng thái symbolic xuống từng prime, hỏi bài con feasibility cục bộ thu hẹp trả MATCH-WITNESS / EMPTY-CERTIFIED / OPEN-INCOMPLETE, rồi sinh một cut chính xác. Mọi cut pruning phải mang một định lý và một proof hash

kiểm 3D22-PARTIAL (đo được): định lý một-chiều đã chứng minh (một phản ví dụ sống sót mọi cut chứng nhận) và hai verifier cùng 179 trên 179 tấn công chấp nhận engine, NHƯNG tương thích CRT liên-prime đơn thuần không loại gì, nên với kiểm toàn cục chỉ ở ngưỡng tái dựng master implicit vẫn tăng như tích các đếm chữ ký cục bộ, cùng tường D21-S. Cut đóng các miền bất khả; phần compatible-chưa-tái-dựng còn mở. Frontier chuyển sang cut sớm D23. LRC(13) MỞ

Kiểm chứng: double · I2 · 8 artifact (report, verifier, bộ tấn công, manifest SHA-256)

Tác động đồ thị

xuất hiệnC-D22-IMPLICIT-STATEĐã chứng minh (nội bộ)xuất hiệnC-D22-PILOTĐã thẩm định (có chặn)xuất hiệnC-D22-CRT-NO-PRUNINGCó cơ sở (nội bộ)thay đổiC-D21-SEED-BLOCKEDCó cơ sở (nội bộ)

← Tất cả gate