Results from the ASIC puzzle
2 days ago
- 这个谜题涉及逆向工程芯片的GDS布局以确定其功能，该芯片是一个用于11x11星战谜题的硬件检查器。
- 解题者使用了多种工具（KLayout、Yosys、Z3）和编程语言（Python、Rust、C++）来提取网表、模拟和分析芯片。
- 该芯片检查每一行、每一列和每个区域恰好有两颗星，并确保没有两颗星相邻，使用计数器和延迟线。
- 不同的求解方法包括逆向遍历逻辑、使用脉冲进行动态探索、SAT求解以及破解输出生成器。
- 彩蛋包括隐藏信息，如摩斯电码中的'PER ARENAM AD ASTRA'、Jane Street标志，以及失败字符串如'EMPTY SKY'和'BIG BANG'。
- 一些解题者实现了创造性的解决方案，例如在FPGA上合成芯片、在Minecraft中重建它，或构建零知识证明。
- 该帖子鼓励进一步参与协议模拟器ASIC竞赛，提交截止日期为2027年1月18日。