Dziś przedstawiamy Behind the Proof, gdzie odkrywamy wyjątkowy talent, który sprawia, że Brevis jest możliwy. Na początek: Alan Li @succinct_li, nasz Dyrektor Naukowy. 🧵

Przed Brevis, Alan uzyskał doktorat z MIT w dziedzinie inżynierii elektrycznej i informatyki, a następnie założył startup AI for Science, który zaawansował trzy linie leków do etapu kandydata na lek, z badaniami opublikowanymi w Nature i Cell. To udowodniło zdolność Alana do wchodzenia na nieznane terytoria, szybkiego opanowywania ich i dostarczania wyników.

W ciągu kilku miesięcy od dołączenia do Brevis, Alan zajął się jednym z najtrudniejszych problemów zkML. Sieci neuronowe są naturalnie rzadkie, ale istniejące systemy udowadniały każdą operację w równym stopniu. SpaZK, protokół, który opracował, generuje dowody tylko dla tego, co ma znaczenie, dramatycznie obniżając koszty obliczeniowe.

Następnie pojawił się Pico Prism. Kiedy Alan dołączył, stan technologii wynosił 40,9% bloków Ethereum udowodnionych w 10,3 sekundy przy użyciu sprzętu za 256 tys. dolarów. Pod jego przewodnictwem: 99,6% pokrycia, średnio 6,9 sekundy, sprzęt za 128 tys. dolarów. Wszystko to w mniej niż rok.

Co dalej? Zespół Alana celuje w mniej niż 16 GPU dla 99% dowodzenia w czasie rzeczywistym i więcej. A ponieważ beta głównej sieci ProverNet jest już aktywna, spodziewamy się, że prace Alana ukształtują sposób, w jaki koordynowane jest dowodzenie ZK w całym ekosystemie.

To znaczy mieć Alana na stanowisku Głównego Oficera Naukowego. Kiedy Brevis stawia czoła trudnym problemom, wiemy, że mamy kogoś, kto znajdzie drogę do rozwiązania. Dopiero zaczynamy odkrywać temat. Przeczytaj pełny profil: