Vitalik presentó en Devcon el plan de acción: privacidad, código abierto, pruebas criptográficas y verificación formal. Menos confianza, más matemáticas.

$NOX / NØNOS está construyendo exactamente eso, a nivel del sistema operativo.

Esto es lo que están lanzando:

Un sistema operativo que prioriza la privacidad y no recopila telemetría. Las aplicaciones se ejecutan de forma aislada en cápsulas basadas en capacidades.

Inferencia local de IA (Qwen). Tus datos nunca salen de tu equipo.

Verificación criptográfica mediante pruebas STARK. Cada aplicación se verifica antes de ejecutarse.

Verificación formal mediante pruebas Lean y pruebas con Kani.

NØNOS Shield: transacciones privadas para Ethereum impulsadas por STARK. Disponible en la red de pruebas Sepolia. La red principal está por llegar.

La tesis es sencilla: no confíes en tu sistema operativo. Verifícalo.

La mayoría de los proyectos crean aplicaciones. $NOX está reconstruyendo los cimientos sobre los que se ejecutan esas aplicaciones.

Aún está en una fase temprana. Las auditorías están pendientes. Pero si te interesan los proyectos de infraestructura que coinciden con la visión de Vitalik, vale la pena analizar $NOX a fondo.

Esto no es asesoramiento financiero. Haz tu propia investigación.