Dnes vám přinášíme Behind the Proof, kde prozkoumáme výjimečný talent, který umožňuje vznik Brevise. Jako první na řadě: Alan Li @succinct_li, náš hlavní vědecký pracovník. 🧵

Před Brevisem získal Alan doktorát na MIT v oboru elektrotechniky a informatiky, poté založil startup zaměřený na AI for Science, který posunul tři léčivé pipeline do fáze vývoje kandidáta s výzkumem publikovaným v časopisech Nature a Cell. To dokázalo Alanovu schopnost vstoupit do neznámého území, rychle ho zvládnout, posílat výsledky.

Během několika měsíců po nástupu do Brevis se Alan pustil do jednoho z nejtěžších problémů zkML. Neuronové sítě jsou přirozeně řídké, ale existující systémy dokazovaly každou operaci stejně. SpaZK, protokol, který vyvinul, generuje důkazy pouze pro to, na čem záleží, a dramaticky snižuje výpočetní náklady.

Pak přišel Pico Prism. Když se Alan připojil, bylo na trhu 40,9 % bloků Etherea ověřeno za 10,3 sekundy s hardwarem za 256 tisíc dolarů. Pod jeho vedením: 99,6 % pokrytí, průměr 6,9 sekundy, hardware v hodnotě 128 tisíc dolarů. To vše za méně než rok.

Co bude dál? Alanov tým cílí na méně než 16 GPU pro 99% ověřování v reálném čase a ještě více. A s aktivní betou ProverNet mainnet očekáváme, že Alanova práce ovlivní způsob, jakým bude ZK proving koordinován napříč celým ekosystémem.

To je to, co znamená mít Alana jako hlavního vědeckého pracovníka. Když Brevis přijímá těžké problémy, víme, že máme někoho, kdo najde cestu dál. Teprve škrábeme po povrchu. Přečtěte si celý profil: