# Sécurité Articles associés

Le Centre d'actualités HTX fournit les derniers articles et analyses approfondies sur "Sécurité", couvrant les tendances du marché, les mises à jour des projets, les développements technologiques et les politiques réglementaires dans l'industrie crypto.

Ethereum explique comment l'IA modifie l'approche de la sécurité des contrats intelligents

L'équipe Ethereum a publié une série d'articles rédigés par un développeur principal de Vyper, examinant le rôle crucial de la vérification formelle à l'ère de l'intelligence artificielle. L'auteur soutient que les progrès des grands modèles de langage rendent la preuve mathématique de l'exactitude des programmes plus accessible. Pour les contrats intelligents gérant des milliards de dollars, la vérification formelle, qui permet de prouver la robustesse d'un code pour tous les scénarios possibles et pas seulement ceux testés, devient progressivement une nécessité. Bien que traditionnellement complexe et nécessitant des équipes d'experts, l'IA simplifie ce processus. Cependant, l'auteur note que même avec l'IA, la vérification formelle reste exigeante. Le développement de l'IA renforce à la fois les attaquants et les défenseurs. La vérification formelle permet de rééquilibrer cet avantage en faveur de la défense, car elle permet de prouver la résistance d'un système à toutes les entrées possibles, alors qu'un attaquant n'a besoin que d'une seule faille. Par conséquent, pour les logiciels critiques comme les contrats intelligents, cette méthode est devenue une condition préalable indispensable. Cette discussion fait écho aux précédents commentaires du cofondateur d'Ethereum, Vitalik Buterin, sur l'utilisation de l'IA pour la vérification formelle du code.

cryptonews.ru08/06 11:21

Ethereum explique comment l'IA modifie l'approche de la sécurité des contrats intelligents

cryptonews.ru08/06 11:21

Cubes contre les hackers : pourquoi les détenteurs sud-coréens de Bitcoin n'ont pas souffert du piratage de Coldcard

La communauté sud-coréenne de détenteurs de bitcoin n'a pratiquement subi aucune perte directe lors de l'attaque contre le portefeuille matériel Coldcard, alors que cet appareil était largement utilisé par les utilisateurs locaux les plus expérimentés. L'erreur dans la génération de nombres aléatoires de certains modèles a permis aux pirates d'accéder aux phrases seed vulnérables et de voler au moins 1 596 BTC, pour des pertes totales dépassant 130 millions de dollars. La Corée du Sud se distingue par des rapports locaux faisant état de dommages minimes. L'analyste Koji Higashi explique cet écart par une culture ancrée, au sein de la communauté locale, d'une approche autonome et prudente de la conservation des actifs. Les leaders de cette communauté promeuvent depuis longtemps la génération manuelle de phrases seed, sans se fier au générateur intégré d'aucun appareil. Leurs méthodes recommandées sont délibérément analogiques : lancer de dés ou de pièces de monnaie pour une vraie randomisation, création de la phrase mnémonique BIP39 entièrement hors ligne, et utilisation d'outils autonomes comme SeedSigner uniquement pour vérification. En revanche, les communautés anglophones, pourtant techniquement averties, ont subi des pertes bien plus importantes. Higashi associe cela à une confiance excessive envers des influenceurs parfois liés au fabricant Coldcard, créant un effet d'écho et une confiance non vérifiée dans la sécurité de l'appareil. Les leaders coréens, sans liens commerciaux avec le fabricant, ont fourni des évaluations des risques plus neutres, suivies par leurs adeptes. Le principe bitcoin "Ne fais pas confiance, vérifie" s'applique donc aussi aux sources d'information. La leçon pratique est claire : générer ses phrases seed par des méthodes physiques quand c'est possible et, par défaut, ne pas faire confiance au générateur de nombres aléatoires intégré à un appareil.

cryptonews.ru08/06 10:53

Cubes contre les hackers : pourquoi les détenteurs sud-coréens de Bitcoin n'ont pas souffert du piratage de Coldcard

cryptonews.ru08/06 10:53

La communauté Ethereum est divisée ! L'EIP-8363 empiète sur le gâteau de qui ?

**Résumé de l'article sur l'EIP-8363 et la controverse dans la communauté Ethereum** Une proposition de modification du protocole Ethereum, l'EIP-8363, suscite un vif débat au sein de la communauté. Élaborée par des chercheurs dont Jérôme de Tychey et Justin Drake, cette initiative vise à instaurer un « brûlage progressif des émissions » (Tapered Issuance Burn). **Objectif :** Actuellement, les récompenses de consensus (émissions) diminuent avec l'augmentation de l'ETH mis en jeu (stake), mais restent théoriquement positives même à 100%. L'EIP-8363 propose d'introduire un mécanisme de destruction qui annulerait complètement ces récompenses nettes de consensus une fois que l'ETH mis en jeu atteindrait environ 50% de l'offre totale (soit ~60,25 millions d'ETH). Le but est de réduire l'incitation à toujours plus de mise en jeu, de limiter la dilution des détenteurs non-stakeurs et de renforcer la position de l'ETH natif comme actif neutre face aux Liquid Staking Tokens (LST). Les revenus de la couche d'exécution (pourboires, MEV) ne seraient pas affectés. **Réactions de la communauté :** Les réactions sont majoritairement critiques. Les détracteurs craignent plusieurs impacts négatifs : * **Centralisation accrue :** Un rendement très faible pourrait chasser les validateurs indépendants (solo stakers) aux coûts fixes élevés, au profit de grands opérateurs institutionnels moins sensibles au rendement. * **Perturbation économique :** La prévisibilité des flux de trésorerie pour les institutions diminuerait, potentiellement affectant l'attractivité de l'ETH. Les stratégies DeFi basées sur le rendement du staking (prêts, leverage, produits à revenu fixe) verraient leur modèle économique compromis. * **Risque pour la sécurité :** Des pénalités pour indisponibilité deviendraient plus difficiles à compenser avec des récompenses réduites. * **Processus précipité :** Certains critiquent le calendrier de la proposition, jugé trop rapide avant la mise à jour Hegotá. **Bénéficiaires et perdants potentiels :** * **Perdants :** Solo stakers (coûts fixes), protocoles LST et écosystème DeFi lié au rendement, institutions comptant sur un revenu de staking prévisible. * **Bénéficiaires théoriques :** Tous les détenteurs d'ETH (moins de dilution par émission), et potentiellement la position de l'ETH natif. La proposition en est au stade de projet et n'est pas encore intégrée à la prochaine mise à jour. Elle ouvre un débat fondamental sur le modèle économique, la sécurité et l'orientation future d'Ethereum.

marsbit08/06 05:26

La communauté Ethereum est divisée ! L'EIP-8363 empiète sur le gâteau de qui ?

marsbit08/06 05:26

Un ex-policier condamné à la prison à perpétuité pour le vol de bitcoins à un adolescent

Un ancien policier de Los Angeles, Eric Heilem, a été condamné à la prison à perpétuité plus 15 ans pour avoir volé 350 000 dollars en cryptomonnaie à un adolescent de 17 ans. En 2024, Heilem et trois complices se sont introduits chez le jeune homme en se faisant passer pour des policiers et ont menacé de le tuer pour lui dérober un disque dur contenant les clés de ses portefeuilles numériques. Le juge Mildred Escobedo a rejeté sa demande de révision du procès, soulignant que ses actes étaient motivés par une "avidité pure et absolue". La victime, qui avait accumulé une petite fortune via la cryptomonnaie et des activités frauduleuses, a également été dérobée d'argent liquide et de bijoux. Le juge a noté que le fait que les cibles soient elles-mêmes des criminels ne justifiait en rien l'abus d'autorité de l'ancien policier, qu'elle a qualifié d'"odieux et scandaleux". Parallèlement, les attaques physiques contre les détenteurs de cryptomonnaies sont en augmentation. Alors que les vols se faisaient principalement par piratage, les agressions physiques pour extorquer les codes d'accès se multiplient. Une base de données publique répertorie 32 cas en 2024, 74 en 2025 et déjà 49 depuis début 2026, un chiffre sous-estimé au regard des 77 incidents recensés en France sur les six premiers mois de l'année seulement. Heilem fait face à d'autres accusations pour fraude à l'assurance et un autre braquage présumé lié aux cryptomonnaies.

cryptonews.ru08/05 19:06

Un ex-policier condamné à la prison à perpétuité pour le vol de bitcoins à un adolescent

cryptonews.ru08/05 19:06

Le cours du Bitcoin fluctue autour de 64 000 dollars, tandis que les pertes liées à Coldcard dépassent 116 millions de dollars

Le prix du Bitcoin fluctue autour de 64 000 dollars, résistant à un flux d'informations largement négatif. Le secteur fait face à deux pressions majeures. Premièrement, l'attaque contre les portefeuilles matériels Coldcard se poursuit, avec des pertes dépassant désormais 116 millions de dollars. Une vulnérabilité dans le firmware, présente depuis 2021, permet à des pirates de deviner les phrases de récupération de certains appareils. Une quatrième vague de vol a emporté près de 389 BTC (environ 29 millions de dollars) en une seule soirée. Le fabricant Coinkite a suspendu les livraisons, détruit ses stocks concernés et exhorté les utilisateurs à transférer immédiatement leurs fonds. Deuxièmement, les ventes institutionnelles persistent. La société de Michael Saylor, MicroStrategy, a vendu pour plus de 104 millions de dollars de BTC cette année et a transféré 1 030 BTC supplémentaires mercredi, alimentant les craintes d'une nouvelle vente. Parallèlement, l'afflux de Bitcoins sur les plateformes d'échange a fortement augmenté. Malgré cela, le cours du Bitcoin reste stable. Une référence technique pourrait indiquer un potentiel plancher : le coût de production du Bitcoin (coût moyen pour les mineurs) est actuellement estimé à 54 000 dollars, avec une composante "coût énergétique" à 40 000 dollars. Historiquement, les prix ont touché ce niveau lors des creux de cycle. Enfin, l'échec anticipé du vote sur le "Clarity Act" au Sénat américain, réduisant la probabilité de son adoption, ajoute une incertitude réglementaire qui pourrait peser sur le marché.

cryptonews.ru08/05 19:04

Le cours du Bitcoin fluctue autour de 64 000 dollars, tandis que les pertes liées à Coldcard dépassent 116 millions de dollars

cryptonews.ru08/05 19:04

Données On-Chain : La crise du Coldcard a doublé l'« offre active » du Bitcoin en une semaine

Un rapport de recherche de K33 met en lumière une activité inhabituelle sur la blockchain Bitcoin pendant l'été, malgré un marché globalement calme. Environ 890 000 BTC ont changé de mains en sept jours, marquant le pic d'« offre active » le plus élevé de 2026. Cette accélération est très probablement liée aux attaques contre les portefeuilles matériels Coldcard. Une vulnérabilité de firmware datant de mars 2021 a permis à des acteurs malveillants de générer des clés privées prévisibles, entraînant le vol d'environ 1 600 BTC (plus de 100 millions de dollars) depuis des milliers d'adresses à partir du 30 juillet. Les données de Newhedge.io montrent que l'offre « chaude » de Bitcoin (monnaies actives dans les 7 derniers jours) a presque doublé, passant d'environ 403 100 BTC le 28 juillet à près de 797 400 BTC le 4 août, soit une hausse de 98 %. Pourtant, le prix du BTC est resté stable, évoluant autour de 64 000 dollars, ce qui indique que cette activité reflétait des transferts défensifs, des retraits post-piratage et des préparations à la vente, plutôt qu'un nouvel enthousiasme des acheteurs. L'activité du réseau est restée soutenue sur deux semaines, avec une moyenne d'environ 662 577 transactions quotidiennes. Parallèlement, des adresses anciennes (datant de 2010 à 2017) ont « réveillé » environ 1 486 BTC, pour une valeur dépassant 95 millions de dollars, bien que ces mouvements ne soient pas tous directement liés à l'incident Coldcard. Les échanges de cryptomonnaies ont également enregistré un afflux net de plus de 22 000 BTC depuis le début des attaques, servant possiblement de refuge temporaire. Cette période de stress et de redistribution importante pourrait potentiellement influencer la sortie du Bitcoin de son étroite fourchette de prix actuelle.

cryptonews.ru08/05 18:54

Données On-Chain : La crise du Coldcard a doublé l'« offre active » du Bitcoin en une semaine

cryptonews.ru08/05 18:54

活动图片