GATE C
Tái lập có chứng thư và nén orbit
Điều gì thay đổi
Bộ sinh C++ cùng hai verifier và manifest xuất xứ. Chứng thư mức orbit cho p=53 kiểm bằng đẳng thức đầy đủ chính xác 120 926 = 120 926.
Bằng chứng
kiểm 1Hash lõi C++ khớp bộ sinh Python từng bit (7/7)
kiểm 2Đẳng thức đầy đủ được cả hai verifier tính lại
kiểm 3Bộ sinh streaming đỉnh RAM 3.1 MB, so với 10.7 GB không streaming
Kiểm chứng: double · I2 · 41 artifact (report, verifier, bộ tấn công, manifest SHA-256)