Astăzi vă prezentăm Behind the Proof, unde explorăm talentul excepțional care face posibil Brevis. Primul: Alan Li @succinct_li, Directorul nostru Științific. 🧵

Înainte de Brevis, Alan și-a obținut doctoratul la MIT în Inginerie Electrică și Informatică, apoi a fondat un startup AI pentru Știință care a avansat trei conducte de medicamente până la stadiul de candidat la dezvoltare, cu cercetări publicate în Nature și Cell. Acest lucru a demonstrat abilitatea lui Alan de a pătrunde în teritorii necunoscute, de a-l stăpâni rapid, de a livra rezultate.

La câteva luni după ce s-a alăturat lui Brevis, Alan a abordat una dintre cele mai dificile probleme ale zkML. Rețelele neuronale sunt în mod natural rare, dar sistemele existente au demonstrat că fiecare operațiune este egală. SpaZK, protocolul pe care l-a dezvoltat, generează demonstrații doar pentru ceea ce contează, reducând dramatic costurile computaționale.

Apoi a venit Pico Prism. Când Alan s-a alăturat, ultimul nivel era că 40,9% din blocurile Ethereum erau dovedite în 10,3 secunde cu hardware de 256.000 dolari. Sub conducerea sa: acoperire de 99,6%, medie de 6,9 secunde, 128.000$ de echipament. Toate acestea în mai puțin de un an.

Ce urmează? Echipa lui Alan vizează mai puțin de 16 GPU-uri pentru 99% testare în timp real și mai mult. Și cu beta-ul mainnet-ului ProverNet acum activ, ne așteptăm ca munca lui Alan să modeleze modul în care demonstrarea ZK este coordonată în întregul ecosistem.

Asta înseamnă să-l ai pe Alan ca Chief Science Officer. Când Brevis abordează probleme dificile, știm că avem pe cineva care va găsi calea. Abia zgâriem suprafața. Citește profilul complet: