O atleta olímpico da matemática na sombra de John Nash tenta resolver Blockchain, dilema de confiança da IA

Em matemática, Jasper Zhang figura como uma espécie de Zeus. Ele diz que ganhou medalhas de ouro nas olimpíadas de matemática na China e na Rússia e que levou apenas dois anos para obter o doutorado. da Universidade da Califórnia, Berkeley.

Agora ele está tentando resolver um problema importante na intersecção de duas das áreas de crescimento mais rápido, porém mais complicadas – blockchain e IA.

Hyperbolic, a startup de dois anos liderada por Zhang com foco na computação de IA descentralizada, disse na quinta-feira que está introduzindo um protocolo chamado “Prova de Amostragem (PoSP)”, destinado a enfrentar desafios com confiança em redes de IA descentralizadas.

A Hyperbolic foi cofundada em 2022 por Zhang e Yuchen Jin, que possui doutorado. em ciência da computação pela Universidade de Washington.

O conceito do novo protocolo foi criado em conjunto com pesquisadores de Berkeley e da Universidade de Columbia, segundo a equipe. Ele combina matemática, ciência da computação e economia, implantando “métodos avançados de amostragem e teoria dos jogos para incentivar a integridade e minimizar as demandas computacionais em redes descentralizadas”, compartilhou Hyperbolic em um comunicado à imprensa com a CoinDesk.

Zhang, 28 anos, disse em entrevista ao CoinDesk que vê o PoSP como a próxima iteração de verificação para redes descentralizadas.

“No início, as pessoas pensavam que só havia uma maneira de fazer a verificação, que é com consenso”, disse Zhang. “Mais tarde as pessoas descobrem prova otimista e depois provas ZK .”

Agora existe o PoSP, disse ele, e ele não pode ser aplicado apenas à IA, mas também a rollups, um tipo de blockchain de camada 2, bem como aos chamados serviços ativamente validados (AVSs), que são protocolos protegidos por  protocolos de restabelecimento  como EigenLayer.

O artigo de pesquisa  sobre o Protocolo de Prova de Amostragem de Zhang e vários coautores foi enviado em 1º de maio ao arXiv, um repositório de acesso aberto hospedado pela Universidade Cornell para artigos científicos que ainda não foram revisados por pares.

Segundo o jornal, o design depende de uma “estratégia pura Nash Equilibrium”. Isso se refere a um conceito de teoria dos jogos atribuído ao matemático John Nash, formado na Universidade de Princeton, que foi o tema do filme vencedor do Oscar de 2001 Uma Mente Brilhante , dirigido por Ron Howard e estrelado por Russell Crowe.

Aqui está uma figura do artigo que ilustra a arquitetura:

Como parte do lançamento, a Hyperbolic está introduzindo o “spML”, uma implementação de PoSP construída especificamente para verificação de IA.

“SpML aproveita os princípios fundamentais do PoSP para criar um mecanismo de verificação que não é apenas mais rápido e seguro, mas também economicamente viável”, disse Zhang no comunicado à imprensa.

Agora eles só precisam provar que funciona na prática.