Popular：
Virtualization DNS security formal verification reachability analysis compiler errors macro conflict web extension development framework Bitmap Graphics API inconsistencies All Tags

TikTok Ban Takes Effect: Data Shows Sharp Traffic Drop, Shift to Alternatives

2025-01-19
TikTok Ban Takes Effect: Data Shows Sharp Traffic Drop, Shift to Alternatives

The US TikTok ban went into effect on January 19, 2025. Cloudflare data reveals a significant impact after 03:30 UTC, with DNS traffic to TikTok-related domains plummeting by as much as 85%, and traffic from ByteDance's network dropping by 95%. Concurrently, alternatives like RedNote (Xiaohongshu) saw a massive surge in traffic, with a 74% increase in the US and a staggering 500% increase in Mexico. This highlights US national security concerns and the rapid user adaptation to alternative platforms.

Read more
(blog.cloudflare.com)
Tech Traffic Data

Cloudflare Prevents DNS Conflicts with Formal Verification

2025-01-07
Cloudflare Prevents DNS Conflicts with Formal Verification

Cloudflare uses Topaz, a system that formally verifies the correctness of its internal DNS addressing behavior. Topaz encodes DNS business objectives as declarative programs, each with a match function, a response function, and a configuration. Before deployment, a custom model checker verifies these programs for conflicts and bugs, ensuring reliable and consistent DNS configuration. This improves internet reliability by preventing inconsistencies in IP address resolution.

Read more
(blog.cloudflare.com)
Tech Formal Verification