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.
  • Récompense
  • 7
  • Reposter
  • Partager
Commentaire
0/400
ForkMastervip
· Il y a 16h
C'est bien dit, mais ce n'est pas encore le cas actuellement, le code des contrats des projets est aussi aléatoire qu'un lancer de dés, et les rapports d'audit ne sont qu'une façade. Mes trois enfants semblent tous plus fiables que certains contrats intelligents.
Voir l'originalRépondre0
DataBartendervip
· Il y a 23h
V ce gars est un peu idéaliste, zéro bug en 2030 ? Je te crois pas une seconde C'est trop beau pour être vrai... le capital et les délais gagnent toujours La validation formelle semble impressionnante, mais en pratique ? Il faut toujours compter sur les sociétés d'audit pour sauver la mise Un vrai zéro vulnérabilité n'existe pas, tant qu'il y a des gens, il y aura des bugs Ce gars est sérieux... mais il faut dire que beaucoup d'argent est déjà perdu dans la DeFi, ça sent un peu le besoin urgent Encore une fois, 2030, pourquoi toutes les prévisions sont-elles repoussées de dix ans ? Peut-être, mais je m'inquiète surtout de savoir quand ces projets ne seront plus rug pullés
Voir l'originalRépondre0
WhaleWatchervip
· 12-24 13:29
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
OnlyOnMainnetvip
· 12-24 13:26
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
GasGoblinvip
· 12-24 13:21
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
CryptoMotivatorvip
· 12-24 13:17
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_Foodvip
· 12-24 13:03
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 ?
Voir l'originalRépondre0
  • Épingler

Trader les cryptos partout et à tout moment
qrCode
Scan pour télécharger Gate app
Communauté
Français (Afrique)
  • بالعربية
  • Português (Brasil)
  • 简体中文
  • English
  • Español
  • Français (Afrique)
  • Bahasa Indonesia
  • 日本語
  • Português (Portugal)
  • Русский
  • 繁體中文
  • Українська
  • Tiếng Việt