Vitalik Buterin propose un nouveau modèle d'efficacité de la mémoire
Le cofondateur d'Ethereum, Vitalik Buterin, a publié un nouvel article intitulé "Memory Access is O(N^(1/3))" (L'accès à la mémoire est O(N^(1/3))), qui remet en question l'une des hypothèses de longue date de l'informatique sur la façon dont l'accès à la mémoire est mesuré. Traditionnellement, les opérations de mémoire sont considérées comme étant à temps constant, ou O(1), en termes de complexité algorithmique. Buterin soutient que ce modèle est erroné et que les preuves théoriques et pratiques suggèrent que l'accès à la mémoire devrait être considéré comme O(N^(1/3)), ce qui signifie que le temps d'accès augmente avec la racine cubique de la taille de la mémoire.
Cet article a été traduit de l'original. Lisez la version originale de notre correspondant ici.
Selon M. Buterin, la compréhension de ce phénomène pourrait changer la façon dont les développeurs abordent la conception d'algorithmes et l'optimisation des performances, en particulier dans des domaines tels que la cryptographie, où la vitesse d'accès à la mémoire joue un rôle crucial.
Base théorique et empirique du modèle O(N^(1/3))
Dans son analyse, M. Buterin explique que la limitation découle de contraintes physiques, en particulier la vitesse de la lumière et la distribution spatiale de la mémoire. Il utilise un modèle simple : doubler la distance physique d'un processeur permet d'obtenir huit fois plus de mémoire, mais double le temps nécessaire pour y accéder. Cette relation est à l'origine de l'échelle de la racine cubique.
Il étend ce raisonnement à l'accès parallèle, où même si plusieurs unités de mémoire peuvent être accédées simultanément, les contraintes physiques et énergétiques s'appliquent toujours. Dans le monde informatique réel, les différents niveaux de mémoire - des registres de l'unité centrale aux caches et à la mémoire vive - présentent des schémas de latence qui suivent de près cette relation cube-racine.
Les données empiriques confirment cette théorie. Lorsque l'on compare les temps d'accès entre les différents types de mémoire dans les systèmes typiques, la latence augmente approximativement avec la racine cubique de la taille de la mémoire, ce qui valide le modèle proposé par Buterin.
Impact sur la conception et l'optimisation des algorithmes
Buterin souligne que ce changement de perspective est crucial pour l'optimisation des algorithmes qui reposent sur des calculs préalables. Dans les procédures cryptographiques telles que les opérations sur la courbe elliptique ou l'arithmétique des champs binaires, les développeurs stockent souvent des tables précalculées pour accélérer les calculs. Dans l'ancien modèle O(1), l'expansion de ces tables semblait toujours bénéfique.
Cependant, si l'accès à la mémoire est O(N^(1/3)), il y a un point où des tables plus grandes deviennent contre-productives en raison d'un accès plus lent. Dans l'une des expériences de Buterin, une table précalculée de 8 bits stockée dans la mémoire cache a été plus performante qu'une table de 16 bits plus grande stockée dans la mémoire vive, ce qui prouve qu'un accès plus rapide l'emporte sur un stockage plus important dans de nombreux cas.
Cela a d'autres implications pour la conception des ASIC et des GPU, où l'accès à la mémoire locale peut être optimisé pour un temps constant, mais où l'accès global reste limité par des principes physiques.
Implications pour l'industrie de la cryptographie
Les conclusions de Buterin pourraient influencer de manière significative la blockchain et l'ingénierie cryptographique. De nombreux algorithmes cryptographiques, des fonctions de hachage aux zk-SNARK en passant par les schémas de signature, dépendent d'opérations gourmandes en mémoire. En repensant la complexité de la mémoire, les développeurs peuvent obtenir des protocoles cryptographiques plus efficaces, une validation plus rapide de la blockchain et des implémentations matérielles optimisées.
Alors que le secteur évolue vers des architectures de calcul haute performance et de blockchain modulaire, le modèle de Buterin offre une nouvelle perspective d'innovation, en mettant l'accent sur la localité, l'efficacité de la mémoire et la modélisation réaliste des performances dans l'infrastructure cryptographique de la prochaine génération.
Lire aussi : Vitalik Buterin commente la vulnérabilité survenue après la mise à jour Chat GPT
Dernières actualités d’crypto
- Forex
- Crypto