TROPIC01 est un Secure Element, une puce spécialisée dans la protection et le traitement de données sensibles. Tropic Square l’a développée et publie une partie de sa conception et de ses logiciels pour permettre un examen indépendant. Ce n’est pas un portefeuille bitcoin autonome. Son apport dépend de sa version, de sa configuration et de son intégration dans l’appareil final.
Un appareil n’est pas obligé de confier tous ses calculs sensibles à son processeur principal. Il peut en déléguer une partie à une puce de sécurité spécialisée. TROPIC01 contient un cœur RISC-V qui exécute les instructions et SPECT, un coprocesseur dédié aux calculs cryptographiques. Le firmware est le programme interne ; le RTL décrit les circuits logiques sous forme de code source. La documentation publique permet aux spécialistes d’examiner ces détails. Cela ne signifie pas que chaque bloc interne de chaque version livrée est public ou déjà vérifié indépendamment. [1]
Derrière le nom se trouve une référence précise qui indique les logiciels initiaux et la configuration permanente d’usine. Pour TR01-C2P-T202, la table Part Numbers donne par exemple un firmware applicatif 0.5.0 et un firmware SPECT 0.3.1. Ces programmes peuvent être mis à jour ensuite. En revanche, certains réglages et la chaîne de certificats, les justificatifs servant à vérifier l’origine, sont établis définitivement lors de la préparation en usine. Évaluer une puce exige donc de connaître les versions réellement installées, pas seulement son nom. [2]
Le développeur doit pouvoir envoyer des demandes à la puce et lire ses réponses. C’est le rôle de libtropic, un SDK, ensemble d’outils de développement pour les applications utilisant cette puce. La bibliothèque fonctionne du côté de l’appareil qui utilise TROPIC01 ; ce n’est pas son firmware interne. L’API est l’interface qui définit les commandes et les réponses convenues. La documentation associe chaque firmware à son API et à sa fiche technique. Mettre à jour la bibliothèque ne met donc pas automatiquement à jour la puce : les versions doivent rester compatibles. [2] [3]
Dans son rapport du 3 juin 2026, Ledger Donjon décrit des tests sur des échantillons commerciaux dotés du bootloader v2.0.1. Ce programme de démarrage doit vérifier le firmware avant de le laisser s’exécuter. Les chercheurs ont provoqué une perturbation au laser et contourné la vérification d’une signature Ed25519, la preuve cryptographique d’authenticité du programme. Ils n’ont pas cassé les mathématiques d’Ed25519, mais perturbé la vérification dans la puce. Il s’agissait d’un test physique avec accès au composant et matériel spécialisé, pas d’une attaque distante par internet. [4]
Il faut distinguer la mémoire de l’exécution. Selon le fabricant, un firmware modifié pouvait rester dans la mémoire de TROPIC01 après extinction. Au démarrage suivant, la puce vérifie toutefois à nouveau son authenticité. Dans l’attaque décrite, chaque démarrage exigeait donc une nouvelle perturbation physique de cette vérification. La présence de données hostiles en mémoire ne suffisait pas à assurer l’exécution du programme sans intervention. C’est une limite importante du résultat, pas une raison d’ignorer la vulnérabilité. [5]
MAC-and-Destroy libère un secret associé lorsque l’entrée est correcte et limite matériellement le nombre d’essais. Une fois la limite épuisée, le secret ne peut plus être récupéré. Les premiers tests de Ledger Donjon n’ont pas franchi cette protection, même avec la possibilité d’exécuter un firmware modifié. Une analyse interne ultérieure de Tropic Square a trouvé une voie de contournement, puis de nouveaux tests indépendants ont également franchi la protection. Le fabricant a temporairement retenu les détails. Ne pas avoir réussi jusqu’ici ne prouve donc pas qu’une attaque est impossible. [4] [5]
L’avis de 2026 recommandait de désactiver le mode maintenance, qui donne accès au mécanisme de mise à jour. Cela complique l’attaque sans la supprimer. Le fabricant décrivait aussi une révision matérielle renforcée prévue pour fin 2026. Un projet ne peut être présenté comme un correctif déjà livré, et les anciennes puces n’acquièrent pas automatiquement les propriétés de la nouvelle version. Pour l’utilisateur, c’est l’avis du fabricant de son appareil qui compte : quels exemplaires sont concernés et quelle solution existe réellement ? [5]
Trezor explique que TROPIC01 dans Trezor Safe 7 protège une partie des secrets utilisés pour protéger le PIN, le code personnel d’accès. Selon le fabricant, ni le PIN lui-même ni la sauvegarde du portefeuille ne sont stockés dans cette puce, et d’autres couches de protection interviennent. Un résultat portant sur le composant ne signifie donc pas automatiquement que tout le portefeuille est compromis. Promettre l’invulnérabilité serait tout aussi faux. Une conclusion solide relie le produit et sa configuration à ce que le test a réellement établi. [6]
Pour une vision complète, lisez aussi Tropic Square, Secure Element, Trezor. Cette entrée est également citée par Secure Element, Jan Pleskač, Tropic Square.