Tor activoES
// transparencia

Lo que está probado y lo que no

Publicamos lo que hemos comprobado, lo que falta y en qué orden lo vamos a hacer. Si algo no aparece como probado, no lo des por hecho.

Autotest de v0.3 en QEMU

arranques
4
fallos
0
entorno
QEMU
Resultados del autotest de v0.3
ÁreaQué se compruebaResultado
GRUB · BIOSArranque por GRUB en BIOS heredado. Tor, cortafuegos, lockdown, sysctl, módulos bloqueados, AppArmor, raíz en RAM sin swap, sin sudo, y prueba de fugas TCP, DNS, UDP e ICMP.Superado
GRUB · UEFILas mismas comprobaciones arrancando por GRUB en UEFI (OVMF).Superado
Perfiles · 1.er arranqueSe crea la bóveda y un perfil, se escriben datos en su /home y se comprueba que el disco no revela nada: ni firmas LUKS o ext4, ni el nombre, ni el contenido.Superado
Perfiles · 2.º arranqueTras reiniciar, el sistema no sabe que el perfil existe, una frase incorrecta da el mismo error que un perfil inexistente y la correcta lo abre con los datos intactos.Superado

Las pruebas se ejecutan en una máquina virtual. Confirman que la ISO arranca y que los perfiles sobreviven a un reinicio. No sustituyen a las pruebas en hardware real.

Pendiente

Todavía no está comprobado:

  • pendienteBootstrap de Tor en una red real (el autotest se ejecuta en QEMU).
  • pendientePruebas en portátiles reales con Secure Boot activado.
  • pendienteDrivers de hardware real: la ISO publicada usa el kernel virtual (linux-image-virtual) y el autotest en QEMU no cubre Wi-Fi ni gráficas de equipos físicos.
  • pendienteBuild con base Debian.
  • pendienteSincronizar la hora sin NTP.

Roadmap

  1. v0.1

    Prototipo

    Hecho
    • ISO live de 172 MB para amd64, arranque BIOS y UEFI.
    • Red Tor o nada.
    • Perfiles cifrados de conocimiento cero.
    • Autotest en QEMU.
  2. v0.2

    Uso diario

    Hecho
    • Escritorio Xfce y modo texto opcional.
    • Pantalla de entrada propia: sesión amnésica, abrir y crear perfiles.
    • Tor Browser sobre el Tor del sistema.
    • Puentes obfs4 para redes censuradas.
    • redder-wipe disponible sin administrador.
  3. v0.3

    Aplicaciones

    Pendiente
    • Aplicaciones aisladas.
    • Aegis y Noctcom.
  4. v1.0

    Confianza

    Pendiente
    • Secure Boot con clave de Redder Labs.
    • Builds reproducibles.
    • ISO firmada.
    • Auditoría externa.

Código fuente

RedderOS se publica con licencia GNU Affero General Public License v3.0 (AGPL-3.0).

Ver el repositorio