Ethereum co-fondateur Vitalik Buterin a récemment partagé une prédiction technologique intéressante : l'idée que "les vulnérabilités sont inévitables, le code comporte forcément des bugs" pourrait ne plus être valable dans les années 2030.
Son point de vue est très pragmatique — il est vrai qu'actuellement, de nombreux logiciels présentent des vulnérabilités, mais ce n'est pas une question de incapacité technique, plutôt que dans de nombreux scénarios, une itération rapide et une amélioration des fonctionnalités sont plus importantes que la recherche d'une correction absolue du code. Les entreprises et les développeurs doivent souvent faire des compromis entre ces deux aspects.
Mais qu'en serait-il si un jour, un code totalement exempt de vulnérabilités était réellement nécessaire ? Vitalik pense que les avancées technologiques futures permettront d'y parvenir. Cela est particulièrement crucial pour l'écosystème Web3 — les contrats intelligents impliquent la sécurité des fonds, et une fiabilité absolue du code ne sera plus un luxe, mais une nécessité.
De la validation formelle à l'audit assisté par IA, en passant par l'optimisation des compilateurs et la protection en temps d'exécution, le domaine de la blockchain accumule de tels outils technologiques. Peut-être qu'à l'horizon 2030, nous verrons réellement une redéfinition du point d'équilibre entre sécurité et fonctionnalités.
Voir l'original
Cette page peut inclure du contenu de tiers fourni à des fins d'information uniquement. Gate ne garantit ni l'exactitude ni la validité de ces contenus, n’endosse pas les opinions exprimées, et ne fournit aucun conseil financier ou professionnel à travers ces informations. Voir la section Avertissement pour plus de détails.
9 J'aime
Récompense
9
5
Reposter
Partager
Commentaire
0/400
WhaleWatcher
· Il y a 7h
V哥 cette idée est plutôt optimiste, mais dans la réalité... Il reste 10 ans jusqu'en 2030, et pour l'instant, les failles de contrat continuent de faire des victimes.
Vouloir que la vérification formelle puisse sauver le monde ? C'est joli à dire, mais qui paie les frais d'audit ?
Code sans vulnérabilité ? Haha, commencez par stabiliser Ethereum lui-même avant de vous vanter.
Ce genre de théorie, on l'a déjà entendue trop de fois, la vitesse d'évolution technologique ne rattrapera jamais la créativité des hackers.
Un visionnement intéressant, mais je n'y crois toujours pas.
Voir l'originalRépondre0
OnlyOnMainnet
· Il y a 7h
V神 recommence à faire des promesses, du code sans bug ? Facile à dire, il se pourrait qu'en 2030, on soit encore en train de réparer.
Attends une seconde, la vérification formelle existe depuis longtemps, pourquoi en parler seulement maintenant...
J'ai déjà investi dans le fonds d'indemnisation pour les bugs de contrats intelligents, mais je suis toujours en attente.
Les gars, ne croyez pas trop à cette prévision, toutes les prophéties du dernier décennie se sont révélées fausses.
Un code sans vulnérabilité est un rêve, avoir de l'argent pour réparer les bugs, c'est la réalité.
Voir l'originalRépondre0
GasGoblin
· Il y a 7h
Vitalik recommence à faire des promesses, mais cette fois, je dois admettre que la promesse est vraiment séduisante... zéro faille en 2030, il faut qu’on vive jusque-là d’abord.
Ce n’est pas normal, la itération rapide et la sécurité peuvent-elles vraiment être parfaitement compatibles ? Ou alors il sous-entend que certains projets devraient ralentir.
La vérification formelle semble impressionnante, mais dans la réalité... Peut-on vraiment supporter autant de tokens en cours d’exécution ? C’est un peu douteux.
Attends, il est en train de patcher ces contrats qui ont été piratés auparavant... Mort de rire.
2030 est encore loin, concentrons-nous d’abord à corriger les bugs de cette année.
Si les contrats intelligents deviennent vraiment zéro faille, à quoi vont servir ces sociétés de sécurité ? Je ne comprends pas cette logique.
On dirait qu’il fait de la pub pour l’audit par IA... mais c’est vraiment nécessaire.
Voir l'originalRépondre0
CryptoMotivator
· Il y a 7h
Après toutes ces années à rêver d'un zéro bug, le rêve de 2030 pourra-t-il vraiment se réaliser ? Je reste sceptique.
Vitalik refait le même coup, mais cette fois il n'a vraiment pas raconté de blague.
La validation formelle semble impressionnante, mais en réalité c'est surtout de l'argent dépensé et de la main-d'œuvre gaspillée.
Si les contrats intelligents continuent à tomber en panne, c'est vraiment qu'ils en ont assez de leur vie.
Et l'audit AI promis ? Il faut toujours compter sur une revue humaine.
2030 ? À ce moment-là, plusieurs générations de nouvelles crypto-monnaies auront été créées, il est peut-être encore un peu tôt pour dire ça.
Un contrat sans bug ? Rêveur, il y aura toujours des failles que les hackers n'ont pas encore trouvées.
La sécurité de la blockchain, au final, c'est une question de confiance.
Voir l'originalRépondre0
Fren_Not_Food
· Il y a 7h
Vitalik est encore en train de lancer des satellites haha, un code sans bug en 2030... On peut en rêver
Les problèmes arrivent, mais il faut une vérification formalisée
Un bug dans un contrat intelligent peut coûter plusieurs millions de dollars, il a raison sur ce point
La vérification formalisée semble impressionnante, mais peut-elle vraiment être utilisée en environnement de production ? Je parie que ce n'est qu'une théorie absurde
Plutôt que zéro bug, il vaut mieux zéro rug pull, non ?
Ethereum co-fondateur Vitalik Buterin a récemment partagé une prédiction technologique intéressante : l'idée que "les vulnérabilités sont inévitables, le code comporte forcément des bugs" pourrait ne plus être valable dans les années 2030.
Son point de vue est très pragmatique — il est vrai qu'actuellement, de nombreux logiciels présentent des vulnérabilités, mais ce n'est pas une question de incapacité technique, plutôt que dans de nombreux scénarios, une itération rapide et une amélioration des fonctionnalités sont plus importantes que la recherche d'une correction absolue du code. Les entreprises et les développeurs doivent souvent faire des compromis entre ces deux aspects.
Mais qu'en serait-il si un jour, un code totalement exempt de vulnérabilités était réellement nécessaire ? Vitalik pense que les avancées technologiques futures permettront d'y parvenir. Cela est particulièrement crucial pour l'écosystème Web3 — les contrats intelligents impliquent la sécurité des fonds, et une fiabilité absolue du code ne sera plus un luxe, mais une nécessité.
De la validation formelle à l'audit assisté par IA, en passant par l'optimisation des compilateurs et la protection en temps d'exécution, le domaine de la blockchain accumule de tels outils technologiques. Peut-être qu'à l'horizon 2030, nous verrons réellement une redéfinition du point d'équilibre entre sécurité et fonctionnalités.