Galdr — micrologiciel Galdralag

Open Invention Network

Ce projet est enregistré auprès de l'Open Invention Network (OIN). L'OIN est un pool de brevets défensif : les membres se concèdent mutuellement des licences croisées sur les brevets liés à Linux afin que les participants puissent distribuer et utiliser des logiciels open source avec une exposition réduite aux brevets.

Statut : En attente de : https://github.com/betrusted-io/xous-core/pull/937

---

Table des matières

• Open Invention Network
• Avis de sécurité : division d'hôte Shamir
• De quoi s'agit-il
  • Métadonnées de contact Galdra
  • Ce que ce micrologiciel est (et n'est pas)
  • Micrologiciel signé (Ed25519, boot0)
• Est-ce du slop IA ?
• Résultats des tests
• Pourquoi Rust ?
  • Sécurité mémoire
  • Robustesse au niveau système (avec limites)
  • Protection du matériel de clé (modèles du projet)
  • Auditable par conception
  • Ce que Rust ne prévient pas
  • Configuration d'une machine virtuelle pour l'évaluation
  • Évaluation des risques et déploiement
• Galdralag pour les nuls
  • Qu'est-ce que GnuPG ?
• Clés GnuPG / OpenPGP et clés Galdra
  • Comparaison des métadonnées (GnuPG vs Galdra)
• Tests ignorés et exclus
• À propos du nom
• Documentation
• Carte du code (index des fonctions et modules)
• Dépendances des crates (amont vs projet)
• Instructions de débogage
• 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
• Glossaire (langage simple)
• Compatibilité OpenPGP et GnuPG
• Session de jeton et export de clé
• Toile de confiance et soirées de signature de clés
  • Obtenir votre empreinte Galdralag
  • Qu'est-ce que la toile de confiance ?
  • Comment cela fonctionne
  • Soirées de signature de clés
  • Flux de travail typique lors d'une soirée de signature de clés
  • Empreintes plutôt que clés complètes lors de l'événement
  • Serveurs de clés
  • Utilisation des serveurs de clés
  • Serveurs de clés courants
  • Bonnes pratiques et mises en garde
  • Fulla (serveur de registre WoT)
• Normes vs. fonctionnalités spécifiques au micrologiciel
• Partage de secret de Shamir et chiffrement de disque
• eID allemand et Governikus comme ancre de confiance pour les clés publiques
• Processus de normalisation : Shamir et échange de clés éphémères
  • CESS (norme ouverte connexe)
• Sequoia PGP (si ce dépôt est non réactif)
• Prise en charge des plateformes (Linux uniquement)
• Compilation, installation et désinstallation
  • Compiler le micrologiciel
  • Flasher
  • Compiler et installer les outils hôtes (galdra, galdrad, galdra-gtk)
  • Exécuter galdrad et l'interface graphique de bureau (galdra-gtk)
  • Désinstaller les outils hôtes
• Capacités clés
  • Ce qui rend ce jeton inhabituel
  • Quorum à double clé matérielle (modèle d'intégrateur)
  • Capacités cryptographiques
    • Asymétrique / accord de clés
    • Symétrique / AEAD
    • Dérivation de clé / MAC / condensat
    • Gestion des clés
  • Propriétés de sécurité
  • Politique de PIN
• Statut post-quantique
  • Implémenté — crate non auditée (sous condition de fonctionnalité)
  • En attente d'audit indépendant — pas encore implémenté
  • Ne sera pas implémenté
• Mise à zéro — mise en garde matérielle
• Organisation de l'espace de travail
• Politique de dépendances cryptographiques
• Démarrage rapide
• Limitations connues / travaux en cours
  • PIN initial CCID : Dabao CCID vs CDC hérité
• Licence

---

De quoi s'agit-il

Micrologiciel pour les appareils Baochip-1x (carte d'évaluation Dabao) exécutant le micro-noyau Xous, compilé pour riscv32imac-unknown-none-elf.

Il se trouve ici : https://www.baochip.com/

L'appareil est un jeton de sécurité matériel de la même catégorie que les appareils de classe Nitrokey, avec un comportement de classe carte à puce OpenPGP et un coffre chiffré. La pile matérielle complète — RTL, schémas, chargeur d'amorçage, OS — est open source et auditable.