Your Browser Does Math Differently on Every OS, and Anti-Bot Systems Read the Bits

À retenir

1. Le principe, en une ligne. IEEE 754 impose le stockage d'un double, pas l'arrondi correct des fonctions transcendantes. L'arrondi correct coûte cher, donc chaque système livre sa propre libm avec ses coefficients minimax, ses tables et ses constantes de réduction. La différence d'arrondi est une signature.
2. La sonde, à connaître. Math.tanh(0.8) rend 0.6640367702678491 sur Linux (glibc), 0.664036770267849 sur macOS (libsystem_m) et 0.6640367702678489 sur Windows (UCRT) — les trois diffèrent, sur 2 ULP d'écart. Linux et macOS divergent sur environ un quart de toutes les entrées, généralement d'1 ULP ; Windows diverge des deux sur quelques pour cent. → « A detector needs no math, only a table. »
3. Le tell est daté au commit près, et c'est ce qui rend l'article utile. jusqu'à Chrome 147, V8 calculait tanh avec un portage fdlibm embarqué — même bits partout, aucune fuite. Le commit V8 c1486295ae5 l'a remplacé par std::tanh, qui lit la libm hôte ; livré dans V8 14.8.57 = Chrome 148. 148, 149, 150 fuient. 147 et antérieurs non. → Une régression de confidentialité introduite par un choix d'implémentation banal, et une fenêtre de version précise pour dater une empreinte.
4. La carte des fuites — la partie la plus réutilisable. | Opération | Math. (JS) | CSS calc() | Web Audio | |---|---|---|---| | sin cos tan | V8 embarqué | libm hôte | Accelerate (FFT), scalaire dans le compresseur | | asin acos atan atan2 | V8 embarqué | libm hôte | non utilisé | | tanh | libm hôte | — | non utilisé | | exp, log, pow | V8 embarqué | libm hôte | scalaire dans le compresseur | | vecteur, FFT | — | — | Accelerate (vDSP) sur Mac | | sqrt, arithmétique | matériel | matériel | matériel | → V8 route presque tout par sa propre math embarquée : JavaScript ne fuit qu'en un point, Math.tanh. CSS fuit partout. Web Audio touche trois bibliothèques dans un même graphe.
5. WASM ne fuit pas l'OS. pas d'opcode transcendant, sin vient de la libm que le module a embarquée, et l'arithmétique (f64.sqrt, f64.mul) est matérielle. Son seul axe d'empreinte est ARM vs x86 (canonicalisation des NaN, quelques arrondis SIMD).
6. Les quatre pièges — la vraie leçon de conception, transposable bien au-delà du sujet. 1. Seule une partie fuit. Spoofer les fonctions qui ne fuitent pas crée une incohérence, et « that asymmetry is itself checkable ». → Corriger trop est aussi détectable que corriger trop peu. 2. JS et CSS sont des chemins distincts. Les trigonométriques CSS réduisent l'angle en degrés puis appellent std::sin sur la valeur réduite — résultat différent d'un sin() en radians. L'équipe a reproduit « the degree reduction and the radians-to-degrees step bit-for-bit, not just the leaf function ». 3. macOS a deux bibliothèques mathématiques qui se contredisent. Scalaire libsystem_m et vectorielles d'Accelerate divergent sur 10 à 89 % des entrées selon la fonction. cos(0) : 1.0 en scalaire, 0.9999999999999999 en Accelerate. → « "Reproduce Apple's math" is undefined until you know which library the browser calls, at which site. » Réponse établie expérimentalement : scalaire pour Math.tanh, la trigo CSS et les transcendantes par échantillon du compresseur ; Accelerate pour la DSP Web Audio (FFT, math vectorielle, filtres biquad). Se tromper de bibliothèque coûte 1 ULP sur la plupart des entrées — pire que ne rien faire. 4. L'architecture fuit. ARM et x86 diffèrent sur la fusion multiplication-addition et sur la propagation du signe des NaN ; une reproduction correcte sur le papier dérive si le compilateur fusionne d'un côté et pas de l'autre.
7. Pourquoi le bruit ne marche pas — argument généralisable à toute contre-mesure de fingerprinting. « Perturbing the output fails twice. A reference comparison sees a value that matches no real OS, and per-call randomness breaks determinism, which is its own tell. » → Une défense qui rend une valeur impossible est aussi identifiante qu'une valeur vraie. La cible n'est pas « du bruit », c'est la valeur exacte du système revendiqué.
8. La parade retenue, et ses trois exigences. (1) récupérer coefficients minimax, tables d'exposants et constantes de réduction dans la libm cible et les transcrire en portable C ; (2) copier les motifs de bits en hexadécimal — « a decimal transcription would round differently » ; (3) écrire chaque fusion en fma() explicite et compiler avec -ffp-contract=off, pour que les opérations fusionnées soient exactement celles qu'Apple fuse et que le résultat soit identique sur CPU avec et sans FMA, et entre la machine ARM imitée et la flotte x86 qui exécute. Quand la reproduction ne vaut pas l'effort : « lift the original » — l'UCRT Windows étant x86-64 et à code indépendant de la position.
9. Ce que l'article implique pour les agents qui naviguent. — non dit par le texte, mais direct : un agent qui pilote un navigateur pour lire le web franchit exactement ces contrôles. Les harnais qui escaladent vers le navigateur réel de l'utilisateur plutôt que d'imiter un navigateur (cf. la voie navigateur de [[skill-gibbs-hyperresearch-2026-08-03]], qui pilote le Chrome authentifié et pose comme frontière dure que « CAPTCHAs, 2FA, and logins are never solved automatically ») contournent le problème par construction : il n'y a rien à falsifier quand le navigateur est authentiquement celui qu'il prétend être. Deux stratégies opposées face au même mur.
10. Cadre d'usage. l'article documente une technique de contournement de détection, écrite par un fournisseur de collecte web. Il est utilisable en défense (comprendre ce que son anti-bot lit réellement, et savoir qu'un signal Math.tanh isolé date le navigateur autant qu'il identifie l'OS) comme en contournement. Rien dans le texte ne traite du consentement des sites collectés, ni des conditions d'utilisation — c'est hors de son périmètre déclaré.
11. Rédaction assistée par IA, déclarée. « the posts here are drafted with AI… The mechanisms, the numbers, and the code are ours. » Divulgation honnête et rare ; à mentionner si l'on cite le texte comme source primaire. Les mesures sont assorties de leur protocole (protocole DevTools, trois machines nommées avec leurs versions), ce qui les rend contrôlables indépendamment de la façon dont la prose a été produite.
12. Méta / à relier. côté agents pilotant un navigateur, [[skill-gibbs-hyperresearch-2026-08-03]] (voie navigateur, escalade, frontière CAPTCHA) ; côté surface d'attaque et contenu web traité comme donnée hostile, [[valente-zalewski-beyond-zero-enterprise-security-ai-era-2026-07-20]] ; côté navigateurs IA et automatisation, [[mody-browser-company-arc-dia-ai-native-2025-11-23]], perplexity-chrome-integration-browser-ai-search-2025-10-22 et mcp-replaces-browser-logrocket-2025-09-15.