Jane Street 역공학 챌린지를 해결한 한 달간의 기록
Solving the Jane Street Reverse Engineering Challenge
Jane Street가 주기적으로 내는 챌린지 중 ASIC(주문형 집적회로)을 역공학하는 문제를 푼 과정을 담은 글입니다. 저자는 GDS 파일에서 회로를 추출하고, Verilog로 시뮬레이션하며, 워밍업 문제에서 시프트 레지스터, 가산기, 비교기를 식별해 답을 찾아냅니다. 본 문제는 더 복잡했지만, 자신이 만든 도구와 시행착오를 통해 해결합니다. 글은 기술적이지만, 저자의 좌충우돌하는 과정을 유쾌하게 서술합니다.
키보드에 피 묻은 얼굴을 박고 몇 시간 동안 욕하면서 얼마나 오래 이걸 붙잡고 있었는지 저주하다 보니, 까다로운 버그 하나를 잡아냈다.
HN 토론
75- mdritch
저는 z3를 정말 좋아합니다. 작년에 Jane Street 퍼즐에서 해시 알고리즘을 신경망으로 위장한 문제를 풀 때 처음 사용했어요. 직장에서 MCMC를 많이 사용하고 있는데, z3를 통한 MCMC 모델 형식 검증에 대해 몇 가지 작은 조사를 해본 적은 있지만 아직 실질적인 것은 없습니다. 이 글이 그 작업을 다시 시작하게 만드는 영감을 주었네요.
- josu
저는 그 문제를 chatGPT 5.6 Sol Pro에게 주었고 결과는 이랬습니다:
> 12분 36초 동안 작업함
> 해결됨
- ctippett
> 결국 'z3'이라는 도구를 사용하게 되었어요. 뭔가 마법 같지 않나요? 해결책을 찾을 때마다 기쁨이 솟구칩니다.
이 말이 정말 공감됩니다. 저도 첫 운영 연구 강의를 듣고 나서 비슷한 느낌을 받았거든요. 겉보기에는 이해할 수 없을 정도로 복잡한 문제들을 단순한 제약 조건들의 집합으로 표현하고 해결책을 얻는 것이 정말 마법처럼 보였습니다.
- piker
> 글쎄요, 다음에 무엇을 해야 할지 잘 모르겠네요
제가 도와드릴게요: Jane Street가 매년 당신에게 지급할 수백만 달러를 어떻게 쓸지 고민하는 일을 하세요. 예를 들어, 민간 항공은 비싸다고 들었어요. :)
- xvilka
실제 칩(고품질 이미지가 주어진 경우)에 대한 이러한 작업을 돕기 위해 Degate[1][2] 오픈소스 소프트웨어가 있습니다.