Oggi vi presentiamo Behind the Proof, dove esploriamo il talento eccezionale che rende possibile Brevis. Iniziamo con: Alan Li @succinct_li, il nostro Chief Science Officer. 🧵

Prima di Brevis, Alan ha conseguito il dottorato al MIT in Ingegneria Elettrica e Informatica, poi ha fondato una startup di AI per la Scienza che ha portato tre pipeline di farmaci alla fase di candidato allo sviluppo con ricerche pubblicate su Nature e Cell. Questo ha dimostrato la capacità di Alan di entrare in territori sconosciuti, dominarli rapidamente e ottenere risultati.

Nel giro di pochi mesi dall'ingresso in Brevis, Alan ha affrontato uno dei problemi più difficili di zkML. Le reti neurali sono naturalmente sparse, ma i sistemi esistenti dimostravano ogni operazione in modo uguale. SpaZK, il protocollo che ha sviluppato, genera prove solo per ciò che conta, riducendo drasticamente i costi computazionali.

Poi è arrivato Pico Prism. Quando Alan si è unito, il massimo della tecnologia era il 40,9% dei blocchi di Ethereum provati in 10,3 secondi con hardware da $256K. Sotto la sua guida: copertura del 99,6%, media di 6,9 secondi, hardware da $128K. Tutto in meno di un anno.

Cosa c'è dopo? Il team di Alan punta a meno di 16 GPU per il 99% della dimostrazione in tempo reale e oltre. E con la beta del mainnet di ProverNet ora attiva, ci aspettiamo che il lavoro di Alan plasmi il modo in cui la dimostrazione ZK viene coordinata in tutto l'ecosistema.

Questo è ciò che significa avere Alan come Chief Science Officer. Quando Brevis affronta problemi difficili, sappiamo di avere qualcuno che troverà la strada da seguire. Stiamo appena grattando la superficie qui. Leggi il profilo completo: