Cloudflare prévient les conflits DNS grâce à la vérification formelle

Cloudflare utilise Topaz, un système qui vérifie formellement la correction de son comportement d'adressage DNS interne. Topaz encode les objectifs métier DNS sous forme de programmes déclaratifs, chacun comportant une fonction de correspondance, une fonction de réponse et une configuration. Avant le déploiement, un vérificateur de modèle personnalisé vérifie ces programmes pour détecter les conflits et les bogues, assurant ainsi une configuration DNS fiable et cohérente. Cela améliore la fiabilité d'Internet en évitant les incohérences dans la résolution des adresses IP.