Geliştiriciler Jane Street bulmacasındaki özel çipi tersine mühendislikle çözdü
Öne çıkanlar
- ASIC tasarımı Magic ve SkyWater 130 nm PDK kullanılarak GDS formatından SPICE netlist haline getirildi.
- Devre şeması JavaScript mantık koduna dönüştürülerek 11x11 boyutundaki ızgara yapısı tespit edildi.
- Verilator simülasyonu ile yapılan kaba kuvvet testi çipte gizlenen Jane Street Capital (JSC) bölgelerini ortaya çıkardı.
Finans şirketi Jane Street tarafından yayımlanan bulmaca kapsamında paylaşılan ASIC çip tasarımı, iki bağımsız geliştirici tarafından tersine mühendislik yöntemleriyle çözüldü. Geliştiriciler, üretim dosyası formatı olan GDS verisini analiz ederek donanımın arkasındaki mantıksal devre mimarisini ve kurallarını ortaya çıkardı. Çalışma sonucunda yonganın 11x11 boyutlarında bir Yıldız Savaşı (Two Stars) mantık bulmacasını denetlediği kanıtlandı.
Süreçte GDS dosyası Magic yazılımı ve SkyWater 130 nm PDK kullanılarak SPICE netlist biçimine dönüştürüldü. Devre kapılarını doğrudan analiz etmenin zorluğu nedeniyle SPICE çıktısı yönlendirilmiş çizgelere ve ardından okunabilir JavaScript mantık ifadelerine çevrildi. Geliştiriciler, flip-flop ve mantık kapılarını inceleyerek devredeki iki adet 4 bitlik sayacın 11x11'lik bir ızgarayı taradığını ve toplamda tam olarak 22 adet doğru girdi arandığını tespit etti.
Son aşamada Verilator simülasyonu yardımıyla kaba kuvvet taraması yapılarak çip üzerindeki bölgesel kısıtlar görselleştirildi. Izgara üzerindeki bölgelerin şirketin adını simgeleyen JSC harflerini oluşturduğu görüldü. Her satır, sütun ve bölgede ikişer adet bitişik olmayan işaret şartını sağlayan 121 bitlik girdi dizisi simülasyona verildiğinde devre doğrulama sinyali üretti.
Bu özet yapay zekâ ile hazırlanmıştır; ayrıntılar ve doğrulama için orijinal kaynağa başvurun.