Как я разобрал ASIC от Jane Street: месяц кропотливой работы
Solving the Jane Street Reverse Engineering Challenge
Автор рассказывает, как решал задачу Jane Street по обратному проектированию ASIC. Он описывает свой путь от изучения GDS-файлов до извлечения логической схемы и её симуляции. В процессе он создал собственный симулятор, парсер и другие инструменты, но в итоге понял, что лучше использовать готовые решения. В статье подробно разбираются технические этапы: анализ файлов, поиск соединений, преобразование в Verilog и, наконец, решение головоломки.
Почему я всегда выбираю самый сложный путь?
- mdritch
Обожаю z3. Впервые использовал его в прошлогодней головоломке Jane Street, где хэш-алгоритм был замаскирован под нейросеть. Я много использую MCMC на работе и уже делал несколько небольших изысканий по формальной верификации моделей MCMC через z3, но пока ничего серьёзного. Это вдохновило меня вернуться к этой теме.
- ctippett
> В итоге я использовал инструмент под названием 'z3'. Это же магия? Каждый раз, когда он находит решение, меня охватывает радость.
Это так откликается. Похожее чувство я испытал после самой первой лекции по исследованию операций. Решать, казалось бы, непостижимо сложные проблемы, сводя их к набору простых ограничений и получая решение, — это выглядело как настоящее волшебство.
- josu
Я дал эту задачу ChatGPT 5.6 Sol Pro, и вот результат:
> Работал 12 минут 36 секунд
> Решено
- piker
> Ну, я не очень понимаю, за что взяться дальше
Позволь мне помочь: займись вопросом, как потратить миллионы долларов, которые Jane Street платит тебе каждый год за то, что ты приходишь на работу. Я слышал, частная авиация, например, стоит дорого.
- xvilka
Чтобы помогать с такими задачами для настоящих чипов (при условии хорошего качества изображений), существует открытое ПО Degate[1][2].