Jane Street показала, как 400 человек взломали её ASIC-головоломку
Results from the ASIC puzzle
В августе Jane Street выложила GDS-файл чипа и предложила выяснить его назначение. Около 400 участников из более чем 30 стран восстановили нетлист, разобрались в логике и обнаружили, что чип проверяет решение головоломки Star Battle 11×11. В статье описаны нестандартные подходы: от SAT-солверов до симуляции в Minecraft и даже доказательства с нулевым разглашением.
Если визуализировать одиннадцать регионов, их формы складываются в «JSC».