Idag presenterar vi Behind the Proof, där vi utforskar den exceptionella talang som gör Brevis möjlig. Först ut: Alan Li @succinct_li, vår Chief Science Officer. 🧵

Innan Brevis tog Alan sin doktorsexamen vid MIT i elektroteknik och datavetenskap, och grundade sedan en AI for Science-startup som förde tre läkemedelspipelines till utvecklingskandidatstadiet med forskning publicerad i Nature och Cell. Detta bevisade Alans förmåga att gå in på okänd mark, bemästra den snabbt, skeppsresultat.

Inom några månader efter att ha gått med i Brevis tog Alan itu med ett av zkML:s svåraste problem. Neurala nätverk är naturligt glesa, men befintliga system har bevisat varje operation lika. SpaZK, protokollet han utvecklade, genererar bevis endast för det som är viktigt, vilket dramatiskt minskar beräkningskostnaderna.

Sedan kom Pico Prism. När Alan gick med var det state of the art att 40,9 % av Ethereum-blocken bevisades på 10,3 sekunder med hårdvara värd 256 000 dollar. Under hans ledarskap: 99,6 % täckning, 6,9 sekunder i snitt, 128 000 dollar hårdvara. Allt på under ett år.

Vad händer härnäst? Alans team siktar på färre än 16 GPU:er för 99 % realtidsprovning och mer. Och med ProverNets mainnet-beta nu live förväntar vi oss att Alans arbete kommer att forma hur ZK-proving samordnas över hela ekosystemet.

Det är vad det innebär att ha Alan som Chief Science Officer. När Brevis tar sig an svåra problem vet vi att vi har någon som hittar vägen igenom. Vi skrapar bara på ytan här. Läs hela profilen: