
En approfondissant mon analyse de @Starknet, j’ai identifié deux domaines méritant une attention particulière : des preuves STARK plus efficaces et ses travaux sur la sécurité post-quantique. Les deux sont liés à quelque chose que je considère essentiel : la capacité à s’adapter à l’évolution des technologies cryptographiques. Les preuves STARK reposent sur la cryptographie à base de fonctions de hachage, tandis que les comptes programmables permettent d’introduire de nouvelles méthodes de vérification de signature sans nécessiter une mise à niveau globale du réseau. Des recherches en cours visent également à réduire le nombre de vérifications nécessaires pour atteindre un objectif de sécurité de 100 bits, de 241 à 200, avec 150 comme prochaine cible. Des chercheurs et des agents IA explorent les mathématiques sous-jacentes, avec l’aide de Lean pour vérifier les preuves. Starknet a encore du travail à accomplir avant de revendiquer une sécurité quantique complète, notamment concernant les comptes existants et les dépendances avec Ethereum. Ce qui m’intéresse le plus, c’est la réflexion à long terme qui sous-tend tout cela. Les hypothèses cryptographiques évolueront, et l’infrastructure doit pouvoir évoluer avec elles. @Starknet @KaitoAI
