El 23 de abril de 2026, el proyecto Borealis —un protocolo stack puramente implementado en OCaml— se bootcó con éxito en órbita terrestre baja, funcionando dentro del módulo ClusterGate-2 de DPhi Space. El daemon opera con encriptación de extremo a extremo y rotación post-cuántica de claves, siendo el primer demuestra público en órbita de tecnología OTAR (Over-The-Air Rekeying) con algoritmos post-cuánticos ML-DSA-65. El satélite completa una órbita terrestre cada 90 minutos. La implementación usa BPv7 (Bundle Protocol) y BPSec para seguridad, con formatos binarios descritos como códecs ocaml-wire. El código corre en un SoC Arm de cuatro núcleos Cortex-A53 con 4 GB de RAM. La relevancia principal radica en que OCaml ofrece seguridad de memoria inherente, eliminando vulnerabilidades comunes en código no confiable которое se ejecuta en satélites compartidos, donde losCVEs del kernel Linux pueden romper el aislamiento entre inquilinos. El binario de vuelo tiene entre 5 y 10 MB, vinculado estáticamente.
Borealis logra primer demo público de tecnología OTAR cuántica en órbita
