Как на месяц провалиться в реверс-инжиниринг одного чипа

Всё началось с головоломки Jane Street: есть GDS-файл с описанием ASIC, нужно понять, как работает чип, и добраться до спрятанного в нём ответа.

Дальше автор последовательно выбирал не самые короткие пути. Написал симулятор логических схем на sqlite3, придумал язык для описания «железа», сделал просмотрщик GDS-файлов, добрался до схемы почти из 10 тысяч элементов — и по дороге даже нашёл ошибку, которую подтвердили в Jane Street.

А когда устройство наконец удалось запустить, обнаружилась проблема — вход рассчитан на 120 бит, а простой перебор занял бы больше времени, чем есть у человечества.