Jane Street 硬件谜题揭晓：400 人破解 ASIC
Results from the Jane Street hardware puzzle
Jane Street 公布了一场硬核硬件谜题的解题结果。这次挑战要求参与者仅凭 GDS 布局文件反向推导 ASIC 芯片的功能，不提供网表或内部信号名。全球超过 30 个国家的 400 名选手参与，包括高中生、研究员和退休工程师。大家利用 KLayout、Yosys、Z3 等工具，甚至结合 AI 编写代码，最终发现芯片是一个用于验证 11x11 Star Battle 谜题的硬件检查器。解决方案包括从布局提取网表、模拟电路行为、使用 SAT 求解器，甚至有人将芯片逻辑移植到 FPGA 或 Minecraft 中。此外，芯片中还隐藏了多个彩蛋，如摩尔斯电码和 Jane Street 的 Logo，展现了逆向工程的无限创意。
逆向工程最迷人的地方之一，在于解决这类挑战时存在着如此多独特的方法。
HN 评论区
34- babush
我让 Claude 去“模糊测试（fuzz）这个电路”，虽然没成功，但它基本走了 Z3/SMT 的路线，大约 3 小时就解出来了。这都是在解题报告发布之后了，但即便如此，作为一个软件逆向工程师，这感觉还是很疯狂。解题报告：https://www.babush.me/how-not-to-solve-jane-streets-asic-puz...
- kayson
我作为 EE/IC 设计从业者的一面，喜欢这种试图围绕一个通常非常不透明且保密的行业建立社区的做法。但我作为追求社会正义的千禧一代的一面，却讨厌它居然由高频交易（HFT）来资助，这简直是荒谬至极。这真是对资源的巨大浪费。
- ryontikygod
每次看到像 Jane Street 这样的谜题，我都会在想：到底该从哪些方面提升解决这类问题的能力？又该如何从其他事物中提炼出规律？我有一种直觉，这不仅仅是靠死磕谜题就能解决的，肯定有提升的方法。很好奇大家对此有什么见解。
- amelius
AI 模型能找出解决方案和彩蛋吗？
- IshKebab
> Jane Street 的硬件团队设计 FPGA 和 ASIC，运行着全球一些最快的交易系统，日常工作充满了像这样的谜题：盯着一片逻辑门、时序报告或波形，慢慢梳理出到底发生了什么。
虽然现在已经不太一样了。AI 在调试失败的测试方面非常厉害，所以我再也不用花几个小时——有时甚至是几天——去盯着波形和指令追踪记录了。
说实话，这是我唯一不会怀念的事情。