Cloudflare, 공식 검증을 통해 DNS 충돌 방지

Cloudflare는 Topaz라는 시스템을 사용하여 내부 DNS 주소 지정 동작의 정확성을 공식적으로 검증합니다. Topaz는 DNS 비즈니스 목표를 선언적 프로그램으로 인코딩하며, 각 프로그램은 매칭 함수, 응답 함수, 구성으로 구성됩니다. 배포 전에 사용자 정의 모델 검사기가 이러한 프로그램을 검증하여 충돌 및 버그가 없는지 확인하고, 안정적이고 일관된 DNS 구성을 보장합니다. 이를 통해 IP 주소 확인의 불일치를 방지하고 인터넷의 안정성을 향상시킵니다.