Galdr — Firmware Galdralag

Open Invention Network

Questo progetto è registrato presso la Open Invention Network (OIN). OIN è un pool di brevetti difensivo: i membri concedono in cross-licenza i brevetti relativi a Linux, così i partecipanti possono distribuire e utilizzare software open source con un'esposizione brevettuale ridotta.

Stato: In attesa di: https://github.com/betrusted-io/xous-core/pull/937

---

Indice

• Open Invention Network
• Avviso di sicurezza: Shamir host split
• Di cosa si tratta
  • Metadati dei contatti Galdra
  • Cosa è (e cosa non è) questo firmware
  • Firmware firmato (Ed25519, boot0)
• È AI slop?
• Risultati dei test
• Perché Rust?
  • Sicurezza della memoria
  • Robustezza a livello di sistema (con limiti)
  • Protezione del materiale chiave (pattern del progetto)
  • Verificabile per progettazione
  • Cosa non previene Rust
  • Configurare una macchina virtuale per la valutazione
  • Valutazione del rischio e distribuzione
• Galdralag per principianti
  • Cos'è GnuPG?
• Chiavi GnuPG / OpenPGP e chiavi Galdra
  • Confronto dei metadati (GnuPG vs Galdra)
• Test saltati e ignorati
• Informazioni sul nome
• Documentazione
• Mappa del codice (indice di funzioni e moduli)
• Dipendenze dei crate (upstream vs progetto)
• Istruzioni di debug
• 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
• Glossario (linguaggio semplice)
• Compatibilità OpenPGP e GnuPG
• Sessione del token ed esportazione delle chiavi
• Web of Trust e Key Signing Party
  • Ottenere la propria fingerprint Galdralag
  • Cos'è la web of trust?
  • Come funziona
  • Key signing party
  • Flusso di lavoro tipico a una key signing party
  • Fingerprint invece delle chiavi complete all'evento
  • Keyserver
  • Utilizzo dei keyserver
  • Keyserver comuni
  • Buone pratiche e avvertenze
  • Fulla (server di registro WoT)
• Standard vs. funzionalità specifiche del firmware
• Shamir secret sharing e cifratura del disco
• eID tedesca e Governikus come trust anchor per le chiavi pubbliche
• Processo di standardizzazione: Shamir e scambio di chiavi effimere
  • CESS (standard aperto correlato)
• Sequoia PGP (se questo repository non risponde)
• Supporto piattaforme (solo Linux)
• Compilazione, installazione e disinstallazione
  • Compilare il firmware
  • Flashing
  • Compilare e installare gli strumenti host (galdra, galdrad, galdra-gtk)
  • Eseguire galdrad e la GUI desktop (galdra-gtk)
  • Disinstallare gli strumenti host
• Funzionalità principali
  • Cosa rende insolito questo token
  • Quorum a doppia chiave hardware (pattern per integratori)
  • Funzionalità crittografiche
    • Asimmetrico / key agreement
    • Simmetrico / AEAD
    • Derivazione chiavi / MAC / digest
    • Gestione delle chiavi
  • Proprietà di sicurezza
  • Politica PIN
• Stato post-quantum
  • Implementato — crate non verificato (feature-gated)
  • In attesa di audit indipendente — non ancora implementato
  • Non sarà implementato
• Zeroisation — avvertenza hardware
• Struttura del workspace
• Politica sulle dipendenze crittografiche
• Avvio rapido
• Limitazioni note / lavoro aperto
  • PIN iniziale CCID: Dabao CCID vs CDC legacy
• Licenza

---

Di cosa si tratta

Firmware per dispositivi Baochip-1x (scheda di valutazione Dabao) che eseguono il microkernel Xous, compilato per riscv32imac-unknown-none-elf.

Si trova qui: https://www.baochip.com/

Il dispositivo è un token di sicurezza hardware della stessa categoria dei dispositivi di classe Nitrokey, con comportamento di classe smartcard OpenPGP e un vault cifrato. L'intero stack hardware — RTL, schemi, bootloader, OS — è open source e verificabile.

Specifiche hardware, modello di boot, tabelle dei requisiti e utilizzo di ComboHash/PKE sono documentati in Supermagnum/Baochip-1x-firmware. La scheda di valutazione Dabao (KiCad, schemi, switch, pinout) è baochip/dabao. Per entrare in modalità bootloader per il flashing, premere SW2 per attivarla (vedere lo schema di quel repo). Note sull'architettura per questo repository: docs/ARCHITECTURE.md.

Metadati dei contatti Galdra