Aujourd'hui, nous vous présentons Behind the Proof, où nous explorons le talent exceptionnel qui rend Brevis possible. Tout d'abord : Alan Li @succinct_li, notre Directeur Scientifique. 🧵

Avant Brevis, Alan a obtenu son doctorat au MIT en ingénierie électrique et en informatique, puis a fondé une startup d'IA pour la science qui a fait progresser trois pipelines de médicaments jusqu'à l'étape de candidat au développement avec des recherches publiées dans Nature et Cell. Cela a prouvé la capacité d'Alan à entrer dans un territoire inconnu, à le maîtriser rapidement et à livrer des résultats.

Quelques mois après avoir rejoint Brevis, Alan a abordé l'un des problèmes les plus difficiles de zkML. Les réseaux neuronaux sont naturellement épars, mais les systèmes existants prouvaient chaque opération de manière égale. SpaZK, le protocole qu'il a développé, génère des preuves uniquement pour ce qui est important, réduisant considérablement les coûts de calcul.

Puis est venu Pico Prism. Lorsque Alan a rejoint, l'état de l'art était de 40,9 % des blocs Ethereum prouvés en 10,3 secondes avec un matériel à 256K $. Sous sa direction : 99,6 % de couverture, 6,9 secondes en moyenne, matériel à 128K $. Tout cela en moins d'un an.

Quelle est la suite ? L'équipe d'Alan vise moins de 16 GPU pour 99 % de preuve en temps réel et au-delà. Et avec la version bêta du mainnet ProverNet maintenant en ligne, nous nous attendons à ce que le travail d'Alan façonne la manière dont la preuve ZK est coordonnée à travers tout l'écosystème.

C'est ce que cela signifie d'avoir Alan comme Directeur Scientifique. Lorsque Brevis s'attaque à des problèmes difficiles, nous savons que nous avons quelqu'un qui trouvera le chemin à travers. Nous ne faisons qu'effleurer la surface ici. Lisez le profil complet :