Vandaag brengen we je Behind the Proof, waar we het uitzonderlijke talent verkennen dat Brevis mogelijk maakt. Eerst: Alan Li @succinct_li, onze Chief Science Officer. 🧵

Voor Brevis behaalde Alan zijn PhD aan MIT in Elektrotechniek en Computerwetenschappen, waarna hij een startup voor AI in de wetenschap oprichtte die drie medicijnpijplijnen naar de ontwikkelingskandidatenfase bracht met onderzoek gepubliceerd in Nature en Cell. Dit bewees Alans vermogen om onbekend terrein te betreden, het snel te beheersen en resultaten te leveren.

Binnen enkele maanden na zijn toetreding tot Brevis, pakte Alan een van de moeilijkste problemen van zkML aan. Neurale netwerken zijn van nature spaarzaam, maar bestaande systemen bewezen elke bewerking gelijk. SpaZK, het protocol dat hij ontwikkelde, genereert bewijzen alleen voor wat belangrijk is, waardoor de computatiekosten dramatisch worden verlaagd.

Toen kwam Pico Prism. Toen Alan zich aansloot, was de stand van de techniek 40,9% van de Ethereum-blokken bewezen in 10,3 seconden met $256K hardware. Onder zijn leiding: 99,6% dekking, 6,9 seconden gemiddeld, $128K hardware. Alles binnen een jaar.

Wat is de volgende stap? Alan's team richt zich op minder dan 16 GPU's voor 99% real-time bewijsvoering en verder. En met de ProverNet mainnet beta die nu live is, verwachten we dat Alan's werk zal bepalen hoe ZK bewijsvoering wordt gecoördineerd over het hele ecosysteem.

Dit is wat het betekent om Alan als Chief Science Officer te hebben. Wanneer Brevis moeilijke problemen aanpakt, weten we dat we iemand hebben die de weg zal vinden. We krabben hier pas aan de oppervlakte. Lees het volledige profiel: