GATE C.004
Chiến dịch k=9 đầy đủ, cổng ước lượng
Điều gì thay đổi
p=19 được chứng thư đầy đủ bởi cả hai verifier. Chiến dịch dừng ở preflight: p=151 vượt cap mỗi prime 9.3 lần, lộ ra bức tường giãn nở thô tầng lift.
Bằng chứng
kiểm 1p=19 chứng thư: fiber tight rỗng, hai verifier chấp nhận, manifest đủ
kiểm 2Ngưỡng số nguyên chính xác: tích 373-bit vượt chặn 367-bit
kiểm 3Dừng tại cap thay vì bỏ prime khó
Kiểm chứng: double · I2 · 12 artifact (report, verifier, bộ tấn công, manifest SHA-256)