Heute bringen wir Ihnen "Behind the Proof", wo wir das außergewöhnliche Talent erkunden, das Brevis möglich macht. Zuerst: Alan Li @succinct_li, unser Chief Science Officer. 🧵

Vor Brevis erwarb Alan seinen Doktortitel am MIT in Elektrotechnik und Informatik, bevor er ein Startup für KI in der Wissenschaft gründete, das drei Arzneimittelpipelines bis zur Entwicklungsstufe voranbrachte, mit in Nature und Cell veröffentlichten Forschungen. Dies bewies Alans Fähigkeit, in unbekanntes Terrain einzutreten, es schnell zu meistern und Ergebnisse zu liefern.

Innerhalb von Monaten nach seinem Eintritt bei Brevis stellte Alan eines der schwierigsten Probleme von zkML an. Neuronale Netzwerke sind von Natur aus spärlich, aber bestehende Systeme bewiesen jede Operation gleich. SpaZK, das Protokoll, das er entwickelt hat, generiert Beweise nur für das, was wichtig ist, und senkt damit die Rechenkosten drastisch.

Dann kam Pico Prism. Als Alan beitrat, war der Stand der Technik, dass 40,9 % der Ethereum-Blöcke in 10,3 Sekunden mit Hardware im Wert von 256.000 $ nachgewiesen wurden. Unter seiner Führung: 99,6 % Abdeckung, durchschnittlich 6,9 Sekunden, Hardware im Wert von 128.000 $. Alles in weniger als einem Jahr.

Was kommt als Nächstes? Alans Team zielt auf weniger als 16 GPUs für 99% Echtzeit-Proofing und darüber hinaus ab. Und da die ProverNet-Hauptnetz-Beta jetzt live ist, erwarten wir, dass Alans Arbeit prägt, wie ZK-Proofing im gesamten Ökosystem koordiniert wird.

Das bedeutet es, Alan als Chief Science Officer zu haben. Wenn Brevis sich schwierigen Problemen stellt, wissen wir, dass wir jemanden haben, der den Weg findet. Wir kratzen hier nur an der Oberfläche. Lese das vollständige Profil: