Dans Shadow of John Nash, un athlète olympique en mathématiques tente de résoudre le dilemme de la blockchain et de la confiance en l'IA.

En mathématiques, Jasper Zhang est considéré comme une sorte de Zeus. Il dit avoir remporté des médailles d'or aux Olympiades de mathématiques en Chine et en Russie, et il ne lui a fallu que deux ans pour obtenir un doctorat à l'Université de Californie à Berkeley.

Il tente désormais de résoudre un problème clé à l’intersection de deux des domaines les plus dynamiques mais les plus complexes : la blockchain et l’IA.

Jasper Zhangest un conférencier à CoinDeskFestival du consensus, du 29 au 31 mai, à Austin, Texas.

Hyperbolic, la startup de deux ans dirigée par Zhang et axée sur l'informatique IA décentralisée, a déclaré jeudi qu'elle introduisait un protocole appelé « Proof of Sampling (PoSP) », visant à relever les défis de la confiance dans les réseaux d'IA décentralisés.

Hyperbolic a été cofondée en 2022 par Zhang et Yuchen Jin, titulaire d'un doctorat en informatique de l'Université de Washington.

Le concept du nouveau protocole a été élaboré en collaboration avec des chercheurs de Berkeley et de l'Université Columbia, selon l'équipe. Il combine mathématiques, informatique et économie, en déployant « des méthodes d'échantillonnage avancées et la théorie des jeux pour favoriser l'intégrité et minimiser les besoins de calcul sur les réseaux décentralisés », a indiqué Hyperbolic dans un communiqué de presse à CoinDesk.

Zhang, 28 ans, a déclaré dans une interview avec CoinDesk qu'il considérait PoSP comme la prochaine itération de vérification pour les réseaux décentralisés.

« Au début, on pensait qu'il n'y avait qu'une ONE façon de procéder à la vérification : le consensus », explique Zhang. « Plus tard, on découvre preuves optimistes puis preuves ZK.”

Il y a maintenant PoSP, a-t-il dit, et il peut non seulement être appliqué à l'IA, mais aussi aux rollups, un type de blockchain de couche 2, ainsi qu'aux services dits validés activement (AVS), qui sont des protocoles sécurisés parprotocoles de re-stakingcomme EigenLayer.

UN document de rechercheLe rapport sur le protocole de preuve d'échantillonnage par Zhang et plusieurs co-auteurs a été soumis le 1er mai à arXiv, un référentiel en libre accès hébergé par l'Université Cornell pour les articles scientifiques qui n'ont pas encore été évalués par des pairs.

Selon l'article, la conception repose sur un « équilibre de Nash purement stratégique ». Ce concept fait référence à la théorie des jeux attribuée au mathématicien John Nash, diplômé de l'Université de Princeton et sujet du film oscarisé de 2001.Un bel esprit, réalisé par Ron Howard et avec Russell Crowe.

Voici une figure tirée du journal illustrant l'architecture :

Dans le cadre de cette version, Hyperbolic présente « spML », une implémentation de PoSP conçue spécifiquement pour la vérification de l'IA.

« SpML s'appuie sur les principes fondamentaux de PoSP pour créer un mécanisme de vérification qui est non seulement plus rapide et plus sûr, mais également économiquement réalisable », a déclaré Zhang dans le communiqué de presse.

Il ne leur reste plus qu’à prouver que cela fonctionne dans la pratique.

Sur le même sujet : Les catalyseurs de l'IA décentralisée