Pittsburgh, États-Unis, 6 décembre 2024, Chainwire

Anaxi Labs, en collaboration avec le CyLab de l'Université Carnegie Mellon, l'institut de cybersécurité et de confidentialité de l'université, annonce un cadre de compilateur pour la cryptographie qui résout une impasse – construire des applications évolutives avec Zero-Knowledge nécessite des compromis fondamentaux. Le trifecta insaisissable des applications évolutives, sécurisées cryptographiquement et décentralisées a été considéré comme impossible et un obstacle à l'adoption massive – jusqu'à présent.

Une percée en cryptographie sans compromis

Des blockchains comme Ethereum ont été saluées comme l'avenir de l'infrastructure décentralisée, avec la technologie Zero-Knowledge (ZK) annoncée pour améliorer la sécurité et la scalabilité d'Ethereum au-delà de 120 TPS. Selon l'équipe, le développement de preuves ZK est complexe et chronophage, nécessitant des milliers d'heures de travail de la part de dizaines de développeurs. Prioriser la rapidité dans la génération de preuves signifie également concevoir manuellement des protocoles, et avec le codage manuel et des dizaines de milliers de lignes de code, cela introduit des vulnérabilités de sécurité significatives. Cela complique la création d'applications décentralisées sensibles à la sécurité et rend l'auditabilité et la conformité cauchemardesques – autant d'obstacles à l'adoption généralisée dans des secteurs réglementés tels que la finance, la santé et l'IA.

Une équipe de chercheurs de Carnegie Mellon collabore avec Anaxi Labs pour surmonter ce compromis

Le récent article de CMU présente un moyen révolutionnaire de compiler directement des logiciels de haut niveau et de les convertir en formes plus simples (représentations de bas niveau) nécessaires au bon fonctionnement des systèmes de preuves sous-jacents. Et tout cela se fait automatiquement, de manière répétable et auditable, éliminant le travail manuel, améliorant considérablement les performances tout en garantissant cryptographiquement la sécurité du processus. Le travail y parvient en analysant le programme de haut niveau, en le décomposant en petites unités indivisibles, puis en créant une représentation de bas niveau à partir de chaque unité qui peut être facilement intégrée dans diverses systèmes de preuves.

« Cette idée de diviser le calcul en morceaux très spécifiques qui remplacent un CPU de manière automatique est une nouvelle approche, et c'est la première fois que quelqu'un a tenté ce genre d'approche où nous évitons la représentation complète du programme pour le compilateur », a déclaré Riad Wahby, professeur adjoint au Département d'Ingénierie Électrique et Informatique de l'Université Carnegie Mellon. « Nous sommes extrêmement excités à ce sujet. »

Déverrouiller de nouvelles applications décentralisées

La recherche et le cadre qu'Anaxi Labs construit à partir de cette recherche sont prêts à révolutionner les industries dans Web3 et au-delà. Dans la finance traditionnelle et réglementée, l'augmentation des performances tout en maintenant l'auditabilité permet le règlement en temps réel des transferts intrabancaires comme les paiements instantanés en USD. Dans le secteur de la santé, face aux défis rencontrés par 23andMe, des outils de cryptage sûrs et préservant la vie privée, rendus possibles par les produits en développement par Anaxi Labs, pourraient désormais répondre à des préoccupations critiques et utiliser en toute sécurité des informations génétiques privées en garantissant la propriété légitime de son ADN, tout en permettant des recherches précieuses. Dans le domaine de l'IA d'entreprise et des infrastructures physiques critiques, une solution décentralisée nécessitant une haute disponibilité et une latence proche de zéro, comme le réglage rapide et l'inférence à travers de multiples ressources de données et de puissance de calcul, devient une réalité.

À court terme, les produits basés sur la recherche offrent la solution la plus efficace pour les entreprises Web3 confrontées aux compromis de scalabilité, de sécurité et de décentralisation, offrant un nouveau paradigme de conception pour les rollups et l'interopérabilité.

« Cette recherche et le produit que nous construisons en intégrant la recherche auront des implications profondes pour de nombreuses applications industrielles importantes aujourd'hui qui ont besoin d'une solution sûre pour leurs énormes surcoûts en performance, tels que ZK et EVM, nous amenant enfin au seuil de notre vision d'un consensus décentralisé sécurisé cryptographiquement avec règlement en temps réel », a déclaré Kate Shen, cofondatrice d'Anaxi Labs.

« Nous aimons également le fait qu'il soit agnostique par rapport aux langages et aux bibliothèques, ce qui signifie qu'une grande variété de projets peut en bénéficier sans modification du code. Cela nous a permis de construire un cadre ouvert et collaboratif plutôt que les approches de plus en plus statiques et monolithiques d'aujourd'hui », ajoute Shen. « Cela permet à tous les développeurs de choisir et de combiner automatiquement le meilleur des dernières avancées en matière de systèmes de preuves, tels que les recherches, les coprocesseurs et l'accélération matérielle ; maximisant les gains de performance de chaque substrat de calcul. »

Anaxi Labs et CyLab, un partenariat révolutionnaire

Le CyLab de Carnegie Mellon est au centre de recherches de pointe qui ont servi de fondation au développement de la blockchain – y compris Zero-Knowledge. Parmi les chercheurs notables du CyLab, on trouve le professeur émérite Bryan Parno, un contributeur clé à l'histoire de ZK dont le laboratoire a produit la série de papiers Nova largement citée, et le professeur adjoint Riad Wahby, dont les découvertes ont abouti à de nouvelles technologies cryptographiques qui ont réalisé les visions de la Fondation Ethereum (et plus récemment, l'implémentation révolutionnaire Jolt zkVM par la division crypto d'Andreessen Horowitz, a16z crypto).

Les résultats présentés dans ce cadre de compilateur sont le résultat du deuxième projet de recherche provenant du partenariat symbiotique entre Anaxi Labs et CyLab à travers l'Initiative de Blockchain Sécurisée de CMU. Ce partenariat permet aux universitaires de CMU de collaborer et d'apprendre des informations tirées des déploiements commerciaux de leur recherche blockchain, dirigée par Anaxi Labs, pour les applications Web3 et Web 2.0. Il leur permet de trouver des solutions commerciales aux principaux problèmes existants avec la blockchain qui échoue à combler le fossé entre les avantages connus de la technologie blockchain et l'adoption massive. Et cela sert également de tremplin pour que les étudiants de CMU lancent leur carrière dans Web3.

« Le partenariat d'Anaxi Labs avec CyLab améliore la capacité des chercheurs de CMU à travailler sur des projets avec des applications réelles et directes, garantissant que leur travail a une pertinence pratique et un potentiel d'impact », a déclaré Michael Lisanti, Directeur Senior des Partenariats de CyLab.

Pour en savoir plus sur Anaxi Labs : https://www.anaxilabs.com/

Pour en savoir plus sur Anaxi Labs et les derniers travaux de CyLab : https://www.cylab.cmu.edu/

Pour en savoir plus sur le partenariat de CyLab avec Anaxi Labs : https://www.cylab.cmu.edu/news/2024/07/17-anaxi-labs-strategic-partner.html

À propos d'Anaxi Labs

Anaxi Labs est un nouveau type de laboratoire de recherche et développement qui relie les mondes de la théorie académique avancée et de l'adoption massive. Ils sont dédiés à produire des recherches originales et de pointe, à construire une infrastructure décentralisée sûre et évolutive de niveau entreprise, et à catalyser la prochaine génération d'applications décentralisées alimentées par la cryptographie.

Anaxi Labs travaille avec les esprits les plus brillants du monde dans la recherche en cryptographie et des ingénieurs de classe mondiale qui ont de l'expérience dans la construction et l'exploitation de produits de grande renommée avec des centaines de millions d'utilisateurs. Ils sont le partenaire industriel des principales institutions académiques en cryptographie telles que l'Université Carnegie Mellon. Ensemble, ils s'engagent à transformer l'avenir d'Internet en débloquant le pouvoir de ce que la science peut faire pour les personnes, la société et la planète.

Site Web : https://www.anaxilabs.com/

À propos de CyLab

Le CyLab de l'Université Carnegie Mellon est l'institut de recherche sur la sécurité et la confidentialité de l'université. Ils rassemblent des experts de toutes les écoles de l'université, englobant les domaines de l'ingénierie, de l'informatique, des politiques publiques, des systèmes d'information, des affaires, de la gestion des risques d'information financière, des sciences humaines et des sciences sociales. Notre mission est de catalyser, soutenir, promouvoir et renforcer la recherche et l'éducation collaboratives sur la sécurité et la confidentialité à travers les départements, les disciplines et les frontières géographiques pour avoir un impact significatif sur la recherche, l'éducation, les politiques publiques et la pratique.

Site Web : https://www.cylab.cmu.edu/

Contact

RP
Daisy Leung
daisy@11.international

L'article Anaxi Labs et CyLab de l'Université Carnegie Mellon dévoilent un système de preuve révolutionnaire est apparu en premier sur Blockonomi.