Hoje apresentamos a você Behind the Proof, onde exploramos o talento excepcional que torna Brevis possível. Primeiro: Alan Li @succinct_li, nosso Diretor Científico. 🧵

Antes de Brevis, Alan obteve seu doutorado no MIT em Engenharia Elétrica e Ciência da Computação, depois fundou uma startup de IA para Ciência que avançou três pipelines de medicamentos até a fase de candidato ao desenvolvimento, com pesquisas publicadas na Nature e na Cell. Isso provou a habilidade de Alan de entrar em territórios desconhecidos, dominá-los rapidamente, e fazer o navio com resultados.

Meses após entrar na Brevis, Alan enfrentou um dos maiores problemas do zkML. Redes neurais são naturalmente escassas, mas sistemas existentes provaram que todas as operações são igualmente iguais. O SpaZK, o protocolo que ele desenvolveu, gera provas apenas para o que importa, reduzindo drasticamente os custos computacionais.

Depois veio Pico Prism. Quando Alan entrou, o estado da arte era que 40,9% dos blocos Ethereum eram comprovados em 10,3 segundos com hardware de $256 mil. Sob sua liderança: cobertura de 99,6%, média de 6,9 segundos, prêmios de $128 mil. Tudo isso em menos de um ano.

E agora? A equipe do Alan está mirando menos de 16 GPUs para 99% de prova em tempo real e além. E com a beta da mainnet do ProverNet agora ativa, esperamos que o trabalho de Alan molderá como a prova ZK será coordenada em todo o ecossistema.

É isso que significa ter Alan como Diretor Científico. Quando Brevis enfrenta problemas difíceis, sabemos que temos alguém que vai encontrar o caminho. Estamos apenas arranhando a superfície aqui. Leia o perfil completo: