Jane Street-in ASIC tapmacası bir tərtibatçı tərəfindən bir ayda həll edildi

Jane Street-in açıq çağırışları mühəndisləri uzun yollara sürükləməsi ilə tanınır. Onlardan biri — "Can you reverse engineer an ASIC?" adlı aparat tapmacası — Jestoph adı ilə bloq yazan tərtibatçı Krisi təxminən bir ay məşğul etdi; 4 sentyabrda o, həllin ətraflı təsvirini dərc edib.

Tapmaca nə tələb edirdi

Vəzifə GDS faylını — silisium yerləşdirməsinin təsvirini — götürüb dövrənin nə etdiyini tərs istiqamətdə müəyyən etməkdir. ASIC, yəni xüsusi təyinatlı inteqral sxem, ümumi hesablamalar üçün deyil, bir konkret iş üçün nəzərdə tutulmuş çipdir. Çağırış iki hissədən ibarət idi: çipin real dizaynının verildiyi qızma mərhələsi və müəllifin sözlərinə görə yalnız "möhkəm əl sıxma və uğurlar arzusu" ilə gələn əsas tapmaca.

Yerləşdirmədən işləyən simulyasiyaya

İlk ipucu tapmacaya əlavə olunan VCD faylı oldu. Onu qısa C proqramı ilə oxumaq "TRY AGAIN" mesajı verdi — yəni dövrə mətn ötürür. Sonra yerləşdirmə fayllarını açmaq üçün Python-un gdstk kitabxanasından istifadə etdi, lakin sonradan öz dövrə simulyatorunu, aparat təsviri dilinin analizatorunu və test mühitini yazdı — bu yayınmaları indi əsasən boşa sərf olunmuş vaxt kimi qiymətləndirir. Qızma mərhələsində 27 element var idi; əsas tapmacada isə 81 tipdən təxminən 10 000 komponent (qızmada 20-yə yaxın tip) mövcud idi; filtrləmədən sonra təxminən 1000 naqil yolu və 17 000 poliqon qaldı.

Tapmacanın özündə olan xəta

Simulyasiya yalnız iki giriş pininə qoşulmuş, idarə olunmayan bir naqil və nə giriş, nə də çıxış olan bir pin aşkar etdi. O, bunu Jane Street-ə bildirdi və növbəti gün haqlı olduğuna dair təsdiq aldı; lakin bu qüsur tapmacanın nəticəsinə təsir etmir. Bu xəta bildirişini o, ən sevimli texniki nailiyyətlərindən biri adlandırır.

Məhdudiyyət həlledicisi ilə tərs həll

120 bitlik girişi tam yoxlamaq real olmadığından o, dizaynı zaman baxımından geriyə doğru işlətdi və istənilən siqnalları məhdudiyyətlər kimi z3 həlledicisinə verdi. Eyni anda təxminən 24 naqilin yüksək olması lazım idi; onların 22-sini ayrı-ayrılıqda əldə etdi, qalanları isə elementlərin girişlərinin əksəriyyətinin 11-in qatlarında yalnız iki impuls tələb etdiyini gördükdən sonra həll olundu. Tam simulyasiya qalib nəticəni verdi: "(* TWO STARS *)". Dövrə həmçinin sıfırlardan ibarət girişə "EMPTY SKY", birlərlə dolu girişə "BIG BANG" cavabını verir. Müəllif qeyd edir ki, Jane Street yaxın aylarda yeni çağırışa işarə edib.