Jane Street revela el chip que escondía un puzzle de Star Battle
Results from the ASIC puzzle
Jane Street publicó en agosto un puzzle que entregaba el layout GDS de un chip y pedía deducir su función. Llegaron unas 400 soluciones de más de 30 países. El chip resultó ser un verificador hardware de un Star Battle de 11x11: coloca exactamente dos estrellas por fila, columna y región, sin que se toquen. Los participantes usaron KLayout, Yosys, Z3, SAT solvers y hasta Minecraft o pruebas de conocimiento cero.
A row of marks on an otherwise unused layer below the die spells PER ARENAM AD ASTRA in Morse code: “through the sand, to the stars”