Hoje trazemos-lhe Behind the Proof, onde exploramos o talento excecional que torna a Brevis possível. Primeiro: Alan Li @succinct_li, o nosso Diretor Científico. 🧵

Antes da Brevis, Alan obteve o seu doutoramento no MIT em Engenharia Elétrica e Ciência da Computação, depois fundou uma startup de AI para Ciência que avançou três pipelines de medicamentos para a fase de candidato ao desenvolvimento, com pesquisas publicadas na Nature e na Cell. Isto provou a capacidade de Alan de entrar em território desconhecido, dominá-lo rapidamente e entregar resultados.

Nos meses seguintes à sua entrada na Brevis, Alan enfrentou um dos problemas mais difíceis do zkML. As redes neurais são naturalmente esparsas, mas os sistemas existentes provaram cada operação de forma igual. O SpaZK, o protocolo que ele desenvolveu, gera provas apenas para o que importa, reduzindo drasticamente os custos computacionais.

Então veio o Pico Prism. Quando Alan se juntou, o estado da arte era 40,9% dos blocos do Ethereum comprovados em 10,3 segundos com hardware de $256K. Sob sua liderança: 99,6% de cobertura, média de 6,9 segundos, hardware de $128K. Tudo isso em menos de um ano.

O que vem a seguir? A equipa de Alan está a almejar 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 molde a forma como a prova ZK é coordenada em todo o ecossistema.

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