Hoy os presentamos Detrás de la Prueba, donde exploramos el talento excepcional que hace posible a Brevis. Primero: Alan Li @succinct_li, nuestro Director Científico. 🧵

Antes de Brevis, Alan obtuvo su doctorado en Ingeniería Eléctrica e Informática en el MIT, y luego fundó una startup de IA para la Ciencia que avanzó tres canales de fármacos hasta la fase de candidato al desarrollo, con investigaciones publicadas en Nature y Cell. Esto demostró la capacidad de Alan para entrar en territorio desconocido, dominarlo rápido y obtener resultados de la nave.

A los pocos meses de unirse a Brevis, Alan abordó uno de los problemas más difíciles de zkML. Las redes neuronales son naturalmente escasas, pero los sistemas existentes demostraron que cada operación era igual. SpaZK, el protocolo que desarrolló, genera demostraciones solo para lo que importa, reduciendo drásticamente los costes computacionales.

Luego llegó Pico Prism. Cuando Alan se unió, lo más avanzado era que el 40,9% de los bloques de Ethereum se probaban en 10,3 segundos con hardware de 256.000 dólares. Bajo su liderazgo: 99,6% de cobertura, 6,9 segundos de media, 128.000 dólares de hardware. Todo en menos de un año.

¿Qué sigue? El equipo de Alan apunta a menos de 16 GPUs para un 99% de pruebas en tiempo real y más allá. Y con la beta de la mainnet de ProverNet ya activa, esperamos que el trabajo de Alan influya en cómo se coordina la demostración de ZK en todo el ecosistema.

Esto es lo que significa tener a Alan como Director Científico. Cuando Brevis afronta problemas difíciles, sabemos que tenemos a alguien que encontrará la solución. Solo estamos rascando la superficie. Lee el perfil completo: