A Tale of Two Worlds, a Formal Story of WireGuard Hybridization