요약
칩 도면만 보고 기능을 알아내는 제인 스트리트 ASIC 퍼즐의 정답은 스타 배틀 검증 회로였습니다.
제인 스트리트 하드웨어팀의 벤저민 데블린과 아니시 싱하니가 퍼즐 결과를 정리했습니다. 참가자는 넷리스트(소자와 배선 연결 목록)나 신호 이름 없이 작은 ASIC(특정 용도용 맞춤 칩)의 최종 GDS 레이아웃(제조용 배치 도면 파일)만 받아 칩이 하는 일을 밝혀야 했습니다.
왜 중요한가
- 출제자들은 최신 AI 모델이 프롬프트 하나로 30분 안에 답을 낼 수 있다고 인정했습니다. 앞으로 이런 퍼즐은 AI 사용을 전제로 해야 한다고 봤습니다.
- 게이트와 파형을 뒤지며 회로를 해석하는 이 작업이 초고속 매매 시스템을 만드는 팀의 일상 업무와 같다고 밝혔습니다.
핵심 내용
- 칩은 11×11 스타 배틀 퍼즐(행·열·색 구역마다 별 2개를 서로 붙지 않게 놓는 퍼즐)의 답을 검사하는 회로였습니다.
- 답이 맞으면 LFSR(의사 난수열을 만드는 회로)로 감춰 둔 문자열을 풀어 "TWO STARS"를 출력합니다.
- 30여 개국에서 약 400건이 제출됐고, 숨겨 둔 이스터 에그 6개를 모두 찾은 사람은 2명이었습니다.
- 풀이 방식은 넷리스트 추출, 자체 시뮬레이터, Z3 같은 SAT 풀이기(조건을 모두 만족하는 입력을 찾는 도구) 등으로 다양했습니다.
- 출제자들은 독립 구현끼리 결과를 대조하고 일부러 틀린 입력을 넣어 본 풀이가 숨은 버그를 잡아냈다고 평가했습니다.
HN 반응
- 고빈도 매매(HFT) 회사가 이런 일에 돈을 대는 것은 자원 낭비라는 비판에, HFT가 스프레드와 수수료를 낮춰 개인 투자자에게 이득이 됐다는 반론이 길게 이어졌습니다.
- 한 이용자는 Claude가 Z3를 써서 약 3시간 만에 풀었다는 경험담을 올렸고, 다른 현업자는 파형을 몇 시간씩 들여다보던 디버깅을 이제 AI가 대신한다고 했습니다.
Claude한테 "회로를 퍼징해 봐"라고 시켰는데, 그건 안 먹혔지만 결국 Z3/SMT 방식으로 가서 3시간쯤 만에 풀어냈어요. 풀이 글이 이미 다 나온 뒤이긴 하지만, 소프트웨어 리버서 입장에서는 그래도 꽤 놀라웠습니다. 후기: https://www.babush.me/how-not-to-solve-jane-streets-asic-puzzle.html
잘 읽었어요!
EE/IC 설계를 하는 제 일부는, 보통 아주 폐쇄적이고 비밀스러운 업계에서 커뮤니티를 만들려는 이런 시도가 참 좋습니다. 그런데 사회정의를 중시하는 밀레니얼인 제 다른 일부는, 하필이면 고빈도 매매(HFT)가 돈을 댄다는 게 싫습니다. 얼마나 거대한 자원 낭비입니까.
HFT는 시장을 더 효율적으로 만들어요. AI가 일자리를 없애서 기업을 더 효율적으로 만드는 것과 똑같죠. HN이 자기네 사람들을 AI라는 제단에 기꺼이 바치는 모습을 몇 번이고 보고 있으면 무감각해집니다. 도덕적으로 우위에 설 수 있는 사람은 없어요.
개인적으로 저는 개인 퀀트인데, 바로 그 AI 도구로 시장에서 우위를 뽑아내는 모델을 만드는 게 정말 보람 있어요. 그 AI 때문에 창업가로 나서지 않는 한 기술 업계로 돌아갈 희망은 완전히 사라졌지만요.
HFT 마진이 실제로 보통 어느 정도인지는 모르겠지만, 시장이 1% 더 효율적이라고 해서 체감되는 이득이 있기는 한가요?
물건값이 조금 싸집니다. 아주 분산된 효과이긴 한데, 이들이 끼친다는 해악도 마찬가지로 분산돼 있죠. 현실에서 HFT는 현대 금융의 아주 작은 일부일 뿐입니다. 자동화되기 전에는 수많은 전문 트레이더가 같은 일을 하면서 합계로는 훨씬 더 많은 돈을 벌었어요.
스프레드가 1% 줄어들면 누군가는 1%를 아끼는 거죠. 아마도요.
20년 전에 미국 주식을 거래했던 게 기억나요. 저는 미국에 살지 않아서 할인 증권사를 썼는데, 정액 수수료가 20달러에 거래액의 일정 비율을 더한 정도였습니다. 비용이 크게 떨어졌다고들 하던 시기가 한참 지난 뒤였는데도요.
예전에는 엄청나게 비쌌는데 지금은 거의 공짜가 된 것들에 대해서는 일종의 건망증이 있는 것 같아요. 불과 얼마 전까지만 해도 대부분의 사람이 비용 때문에 주식을 아예 가질 수 없었다는 걸 누군가에게 설명하는 건 불가능에 가깝습니다.
HFT는 제로섬이잖아요. 그 자원을 사회에 순이익이 되는 곳에 투자할 수도 있는데 말이죠.
핵심 문제는 수많은 사람이 사실상 아무 이유 없이 거래한다는 겁니다. HFT 덕분에 이런 사람들이 예전보다 덜 당하게 됐어요. "하우스"끼리 경쟁하게 된 거죠.
맞아요, HFT에게는 돈 되는 사업입니다. 저는 그게 그리 거슬리지 않습니다.
분노를 쏟을 곳이 필요하다면, 금융 시장을 게임처럼 만들고 있는 로빈후드 같은 회사에 쏟으세요.
예전보다 지금이 더 효율적입니다. HFT가 가져가는 총액이 예전에 사람들이 스프레드와 수수료로 내던 금액보다 낮다는 뜻이에요. 가격 발견도 더 잘 되고(거래하면 공정한 가격에 더 가까워집니다), 스프레드도 낮아졌습니다. 스프레드와 개인 투자자의 무지를 먹잇감으로 삼던 업계는 사라졌어요. HFT의 어디가 마음에 안 드시는 겁니까?
위로 돈이 쏠리는 깔때기라는 점이요?
둘 다 나쁜 걸 수도 있잖아요?
저는 HFT 회사에 다니고(제인 스트리트는 아닙니다) 그래서 편향돼 있긴 하지만, 우리 HFT 업계 전체는 빅테크에 비하면 꽤 작습니다.
전 세계 HFT 매출을 연 1,000억 달러쯤으로 추정하는데, 애플 한 곳보다도 적고 빅테크 전체를 합친 것에 비하면 아주 작은 비율이에요.
HFT 일에 대해 더 얘기해 보고 싶네요 :) 저도 HFT에서 일하고 있거든요! 얘기 나누고 싶으시면 [email protected]으로 메일 주세요!
나쁘다는 게 무슨 뜻이죠? 내가 하는 모든 투자의 반대편에 누군가 있어 주길 바라면서... 공짜로요? 그럼 직접 하시지 그래요?
시장이 효율적이고 거래 비용이 낮다는 건 가치가 아주 큰 일입니다. 누군가는 그 일을 해야 하고, 더 싸게 해낼수록 좋아요.
시장 조성도 마찬가지입니다.
그 서비스를 제공해서 누군가 부자가 된다면 좋은 일이죠! 덤으로, 그 돈을 버는 사람들이 대체로 아주 똑똑한 사람들이라는 점도 있고요.
일반인이 시장에 접근하는 걸 가로막던 터무니없이 비싼 스프레드와 수수료에 비해, 이게 어떻게 더 심한 "위로 쏠리는 돈의 깔때기"입니까?
HFT와는 아무 상관 없는, 멀티 프로젝트 웨이퍼(MPW) 셔틀을 중심으로 한 오픈소스 실리콘 커뮤니티도 있습니다.
그런 곳들이 어디고 무슨 일을 하는지 알려 주실 수 있나요?
아마 Tiny Tapeout일 겁니다. https://tinytapeout.com/
수십에서 수백 개의 설계를 칩 하나에 묶어 주는 방식이에요. 덕분에 취미로 하는 사람도 자기 소형 ASIC을 실제 실리콘으로 만들어 볼 수 있습니다. 여전히 비싸긴 하지만, 안정적인 직장이 있는 진지한 애호가라면 손이 닿는 수준이에요.
https://app.tinytapeout.com/calculator "devkit" 수가 받게 될 칩의 개수이고, 타일 수가 설계의 크기입니다. 현재 프로젝트들이 타일을 몇 개씩 쓰는지는 여기서 볼 수 있어요: https://app.tinytapeout.com/shuttles/ttsky26d
네, Tiny Tapeout 맞습니다.
FOSSi Matrix 채팅 그룹도 있어요: https://element.fossi-chat.org/
감사합니다!
제인 스트리트는 고빈도 매매를 하지 않는 걸로 아는데요. 시타델이나 HRT를 떠올리신 것 같아요. 제인 스트리트는 오히려 전통적인 퀀트 헤지펀드 아닌가요?
페이지에 하드웨어 팀이 지구상에서 가장 빠른 트레이딩 시스템을 만든다고 적혀 있잖아요. 제인 스트리트는 HFT를 합니다.
이 회사의 주력 사업은 ETF와 ADR 거래였고, 제가 알기로는 지금도 그렇습니다. 이런 상품에는 기초 증권과 맞바꿔 만들고 환매하는 구조가 있어서, 묶음과 구성 종목 사이의 가격 차이를 차익거래해 돈을 벌 수 있어요.
이 게임이 점점 경쟁이 치열해지면서 HFT를 비롯한 다른 사업으로도 영역을 넓힌 것 같습니다.
제인 스트리트의 이런 퍼즐을 볼 때마다, 이런 문제를 푸는 실력을 어떻게 키울 수 있을지, 다른 것에서 패턴을 어떻게 끌어낼 수 있을지 궁금해집니다. 퍼즐을 무작정 많이 푸는 것만이 전부는 아니고 분명 실력을 키우는 방법이 있을 거라는 느낌이 들어요. 혹시 아는 분 계시면 의견 듣고 싶네요.
어려운 문제를 더 많이 풀고, 실패로 끝나더라도 끝까지 버티는 법을 익히는 겁니다.
좀 더 작은 전략도 있습니다. 나를 엉뚱한 길로 이끈 의사결정 과정을 돌아보고 그걸 피하는 법을 배우는 거예요. 끝난 뒤에는 무엇이 통했고 무엇이 통하지 않았는지 되짚어 보세요. 좋은 판단과 나쁜 판단 각각의 갈림길 신호를 알아채려 해 보고, 앞으로는 생각을 그쪽으로 끌어당기거나 그쪽에서 밀어내도록 조금씩 유도하세요.
대부분은 그냥 더 많이 하고 끝까지 버티는 것입니다.
남들보다 먼저 포기하지 마세요.
AI 모델이 해답과 이스터 에그를 찾아냈나요?
사실 이제는 그렇지 않아요. AI가 실패하는 테스트를 디버깅하는 데 정말 뛰어나서, 더 이상 몇 시간씩, 때로는 며칠씩 파형과 명령어 트레이스를 쳐다보며 보내지 않아도 됩니다.
솔직히 그건 그리울 게 없네요.