Galdr — Firmware Galdralag

Open Invention Network

Este projeto está registado na Open Invention Network (OIN). A OIN é um pool defensivo de patentes: os membros fazem licenciamento cruzado de patentes relacionadas com Linux para que os participantes possam distribuir e utilizar software de código aberto com menor exposição a patentes.

Estado: À espera de: https://github.com/betrusted-io/xous-core/pull/937

---

Índice

• Open Invention Network
• Aviso de segurança: divisão do host Shamir
• O que é isto
  • Metadados de contacto Galdra
  • O que este firmware é (e não é)
  • Firmware assinado (Ed25519, boot0)
• Isto é lixo de IA?
• Resultados dos testes
• Porquê Rust?
  • Segurança de memória
  • Robustez a nível de sistema (com limites)
  • Proteção de material de chave (padrões do projeto)
  • Auditável por conceção
  • O que o Rust não previne
  • Configurar uma máquina virtual para avaliação
  • Avaliação de risco e implementação
• Galdralag para leigos
  • O que é o GnuPG?
• Chaves GnuPG / OpenPGP e chaves Galdra
  • Comparação de metadados (GnuPG vs Galdra)
• Testes ignorados e omitidos
• Sobre o nome
• Documentação
• Mapa do código (índice de funções e módulos)
• Dependências de crates (upstream vs projeto)
• Instruções de depuração
• docs/AUDIT_LOG.md
• docs/BIOMETRIC_API.md
• docs/HARDWARE_BRINGUP_TEST_PLAN.md
• docs/KEY_LIFECYCLE.md
• docs/RRAM_LAYOUT.md
• docs/THREE_FACTOR_AUTH.md
• docs/THREAT_MODEL.md
• Glossário (linguagem simples)
• Compatibilidade OpenPGP e GnuPG
• Sessão de token e exportação de chaves
• Teia de Confiança e Festas de Assinatura de Chaves
  • Obter a sua impressão digital Galdralag
  • O que é a teia de confiança?
  • Como funciona
  • Festas de assinatura de chaves
  • Fluxo de trabalho típico numa festa de assinatura de chaves
  • Impressões digitais em vez de chaves completas no evento
  • Servidores de chaves
  • Utilizar servidores de chaves
  • Servidores de chaves comuns
  • Boas práticas e ressalvas
  • Fulla (servidor de registo WoT)
• Normas vs. funcionalidades específicas do firmware
• Partilha de segredos de Shamir e encriptação de disco
• eID alemão e Governikus como âncora de confiança para chaves públicas
• Processo de normalização: Shamir e troca de chaves efémeras
  • CESS (norma aberta relacionada)
• Sequoia PGP (se este repositório não responder)
• Suporte de plataforma (apenas Linux)
• Compilar, instalar e desinstalar
  • Compilar firmware
  • Gravação
  • Compilar e instalar ferramentas de host (galdra, galdrad, galdra-gtk)
  • Executar galdrad e a GUI de ambiente de trabalho (galdra-gtk)
  • Desinstalar ferramentas de host
• Capacidades principais
  • O que torna este token invulgar
  • Quórum de chave dupla de hardware (padrão de integrador)
  • Capacidades criptográficas
    • Assimétrico / acordo de chaves
    • Simétrico / AEAD
    • Derivação de chaves / MAC / digest
    • Gestão de chaves
  • Propriedades de segurança
  • Política de PIN
• Estado pós-quântico
  • Implementado — crate não auditado (controlado por feature)
  • Auditoria independente pendente — ainda não implementado
  • Não será implementado
• Zeroização — ressalva de hardware
• Estrutura do workspace
• Política de dependências criptográficas
• Início rápido
• Limitações conhecidas / trabalho em aberto
  • PIN inicial CCID: Dabao CCID vs CDC legado
• Licença

---

O que é isto

Firmware para dispositivos Baochip-1x (placa de avaliação Dabao) a correr o microkernel Xous, compilado para riscv32imac-unknown-none-elf.

Está localizado aqui: https://www.baochip.com/

O dispositivo é um token de segurança de hardware da mesma categoria que dispositivos da classe Nitrokey, com comportamento da classe de smartcard OpenPGP e um cofre encriptado. A pilha completa de hardware — RTL, esquemáticos, bootloader, SO — é de código aberto e auditável.