I dag presenterer vi Behind the Proof, hvor vi utforsker det eksepsjonelle talentet som gjør Brevis mulig. Først ut: Alan Li @succinct_li, vår Chief Science Officer. 🧵

Før Brevis tok Alan sin doktorgrad ved MIT i elektroteknikk og informatikk, og grunnla deretter en AI for Science-startup som utviklet tre legemiddelpipelines til utviklingskandidatstadiet med forskning publisert i Nature og Cell. Dette beviste Alans evne til å gå inn i ukjent terreng, mestre det raskt, skipsresultater.

Innen få måneder etter at han begynte i Brevis, tok Alan tak i et av zkMLs vanskeligste problemer. Nevrale nettverk er naturlig spredte, men eksisterende systemer beviste alle operasjoner likt. SpaZK, protokollen han utviklet, genererer bevis kun for det som betyr noe, og reduserer beregningskostnadene dramatisk.

Så kom Pico Prism. Da Alan begynte, var 40,9 % av Ethereum-blokkene bevist på 10,3 sekunder med maskinvare til en verdi av 256 000 dollar. Under hans ledelse: 99,6 % dekning, 6,9 sekunder i snitt, 128 000 dollar for maskinvare. Alt på under ett år.

Hva blir det neste? Alans team sikter mot færre enn 16 GPU-er for 99 % sanntidsprøving og mer. Og med ProverNet-mainnet-betaen nå aktiv, forventer vi at Alans arbeid vil forme hvordan ZK-bevising koordineres på tvers av hele økosystemet.

Dette er hva det betyr å ha Alan som Chief Science Officer. Når Brevis tar på seg vanskelige problemer, vet vi at vi har noen som vil finne veien gjennom. Vi skraper bare i overflaten her. Les hele profilen: