Results from the ASIC puzzle
Summary
Jane Street's post reveals the solution to the ASIC puzzle, detailing how the 11x11 Star Battle checker is implemented and solved. It highlights submissions from a global pool using open-source tools and various languages, and explains methods from netlist extraction to SAT solving and output deobfuscation, including Easter eggs discovered by solvers. The piece also discusses takeaways on AI-assisted tooling and the value of understanding circuit behavior beyond reproducing the correct inputs.