J'ai hâte d'assister à la discussion dynamique sur les zk-SNARKs à SBC 2025 !

🚨 DERNIÈRE MINUTE : Sui Research vient de dévoiler une avancée majeure dans la transition quantique de "certaines" blockchains. Malheureusement, cela fonctionne pour Sui, Solana, Near, Cosmos et d'autres chaînes basées sur EdDSA, mais pas pour Bitcoin et Ethereum 😢 Voici le document : *A ma connaissance, c'est le premier chemin de mise à niveau compatible avec les blockchains et sécurisé contre les menaces quantiques pour les portefeuilles afin d'éviter de futurs forks ou le gel des comptes. ...et pourquoi c'est énorme 🧵👇 💀 Il y a une chance non nulle que les portefeuilles d'aujourd'hui puissent devenir vulnérables aux adversaires quantiques dans les décennies à venir. Bien que je doute personnellement que nous soyons proches d'une suprématie quantique capable de briser la cryptographie bientôt, les préoccupations croissantes et les nouvelles recommandations des agences de sécurité conseillant des mises à niveau d'algorithmes d'ici 2035 devraient servir d'alerte. Même si une grande partie de cela est motivée par la perception, notre communauté doit être prête à effectuer une transition éventuelle. Une fois que les ordinateurs quantiques arriveront, des millions de portefeuilles, y compris celui de Satoshi, pourraient être vidés instantanément. Si votre clé publique est visible, elle sera finalement craquée. Clés perdues, propriétaires décédés, stockage à froid... tout est à risque (ceux-ci seront les premières victimes). Des milliards en crypto sont dans des portefeuilles "endormis" qui ne seront peut-être jamais mis à jour ou ne transféreront jamais leurs actifs. 💡 Notre solution : Nous avons trouvé un moyen pour les portefeuilles utilisant EdDSA (par exemple, Sui, Solana, Near et autres) de prouver la propriété de manière sécurisée après le quantique, sans révéler de secrets ou toucher le portefeuille pour transférer rapidement leurs pièces. Étonnamment, un petit détail sur la façon dont les clés privées EdDSA sont dérivées par rapport à ECDSA fait une énorme différence en matière de préparation quantique. TL;DR une simple invocation de hachage sur une graine et non pas le choix direct de scalaires de courbe elliptique comme clés privées a sauvé la mise ! 🔐 Pas de nouvelle signature. Pas de changement d'adresse. Aucun temps d'arrêt. Juste une preuve à connaissance nulle qui dit : "Je contrôle toujours ce portefeuille, mais maintenant la signature est protégée contre les hackers quantiques." 🚀 Basé sur la dérivation de clé Ed25519 (SLIP-0010) et zk-STARKs / Ligero 🛡️ Fonctionne pour les comptes endormis et perdus, les multisigs, les trésoreries et le stockage à froid. 📈 Protège les vrais utilisateurs et institutions, pas seulement les chaînes futures, mais aussi vos portefeuilles basés sur des mnémoniques d'aujourd'hui. 👨‍🔬 Développé par @SuiNetwork, @Mysten_Labs et @GeorgeMasonU, cryptographes appliqués et théoriques, félicitations à Foteini et Arnab dont l'aide a été primordiale ! *Nous sommes déjà en contact avec les équipes derrière @ligero_inc et @SoundnessLabs, mais nous allons également approcher des gouvernements et des grandes organisations comme Google (qui a déjà commencé à explorer les preuves ZK de Ligero) pour poursuivre une mise en œuvre, et si possible, en faire une norme mondiale. Peut-être que ceux qui ont choisi Ed25519 plutôt qu'ECDSA ont eu de la chance ou étaient simplement intelligents. Personnellement, je tiens à remercier l'un de mes premiers instructeurs en crypto, Daniel Bernstein (@hashbreaker), l'inventeur d'EdDSA, qui a enseigné à l'école d'été EU ECRYPT à Samos en 2007. Il a planté une étincelle qui m'a fait obséder sur chaque détail de l'algorithme et peut-être sans cela, je ne serais pas ici aujourd'hui en tant que scientifique.

Veuillez accueillir Alex Lew, professeur adjoint d’informatique à Yale Engineering ! Ses travaux en programmation probabiliste, en ML et en inférence bayésienne repoussent les limites de la façon dont nous construisons et comprenons les systèmes intelligents. #NewFaculty #WelcomeAboard #AIResearch

En préparation de notre intervention SBC 2025, nous avons mis à jour notre article sur les zk-SNARKs dynamiques détaillant l'approche log N et la structure de données. Invité spécial : les arbres AMT par @alinush407 ! Dernière version : . Reconnaissant envers l'étudiant en doctorat de @YaleCSDept, Weijie Wang, pour son leadership.

Bienvenue au @YaleCSDept, Nicole !

Grande victoire pour Yale CS ! 🏆 Une équipe dirigée par Yang Cai (à gauche) et Manolis Zampetakis (à droite) a remporté le prix du meilleur article à #COLT2025 pour avoir redéfini la façon dont nous identifions les effets du traitement dans des données complexes. Un bond en avant pour l’inférence causale et l’IA fondamentale. 🔗 #WhatsNext @Yang_Cai

Félicitations à l'@Yang_Cai (informatique et économie) de Yale Engineering, à Manolis Zampetakis (CS) et à leurs collaborateurs pour avoir reçu le prix du meilleur article au COLT 2025 ! #AI #ML

Félicitations à Uzi Vishkin pour cet honneur incroyable. Un véritable pionnier des algorithmes parallèles.

Notre article sur la mise à jour efficace des ZKPs ou zk-SNARKs dynamiques, a été accepté pour être présenté à la conférence Science of Blockchain ! Je suis reconnaissant envers @lagrangedev d’avoir inspiré et soutenu cette recherche. J’ai hâte de faire avancer ce travail.

Félicitations pour ce nouveau rôle @giorgos_tsimos ! Vous nous manquerez à @Yale et @YaleACL !