Galdr — прошивка Galdralag

Open Invention Network

Этот проект зарегистрирован в Open Invention Network (OIN). OIN — это оборонительный патентный пул: участники кросс-лицензируют патенты, связанные с Linux, чтобы участники могли поставлять и использовать открытое программное обеспечение с меньшим патентным риском.

Статус: ожидание: https://github.com/betrusted-io/xous-core/pull/937

---

Содержание

• Open Invention Network
• Уведомление о безопасности: разделение Shamir на хосте
• Что это такое
  • Метаданные контактов Galdra
  • Чем является эта прошивка (и чем не является)
  • Подписанная прошивка (Ed25519, boot0)
• Это AI-мусор?
• Результаты тестирования
• Почему Rust?
  • Безопасность памяти
  • Надёжность на системном уровне (с ограничениями)
  • Защита ключевого материала (паттерны проекта)
  • Аудируемость по дизайну
  • Что Rust не предотвращает
  • Настройка виртуальной машины для оценки
  • Оценка рисков и развёртывание
• Galdralag для чайников
  • Что такое GnuPG?
• Ключи GnuPG / OpenPGP и ключи Galdra
  • Сравнение метаданных (GnuPG против Galdra)
• Пропущенные и игнорируемые тесты
• О названии
• Документация
• Карта кода (индекс функций и модулей)
• Зависимости крейтов (upstream против проекта)
• Инструкции по отладке
• 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
• Глоссарий (простым языком)
• Совместимость с OpenPGP и GnuPG
• Сессия токена и экспорт ключей
• Сеть доверия и вечеринки подписывания ключей
  • Получение вашего отпечатка Galdralag
  • Что такое сеть доверия?
  • Как это работает
  • Вечеринки подписывания ключей
  • Типичный рабочий процесс на вечеринке подписывания ключей
  • Отпечатки вместо полных ключей на мероприятии
  • Серверы ключей
  • Использование серверов ключей
  • Распространённые серверы ключей
  • Лучшие практики и предостережения
  • Fulla (сервер реестра WoT)
• Стандарты против функций, специфичных для прошивки
• Разделение секрета Шамира и шифрование диска
• Немецкий eID и Governikus как якорь доверия для открытых ключей
• Процесс стандартизации: Shamir и эфемерный обмен ключами
  • CESS (связанный открытый стандарт)
• Sequoia PGP (если этот репозиторий не отвечает)
• Поддержка платформ (только Linux)
• Сборка, установка и удаление
  • Компиляция прошивки
  • Прошивка
  • Компиляция и установка хостовых инструментов (galdra, galdrad, galdra-gtk)
  • Запуск galdrad и настольного GUI (galdra-gtk)
  • Удаление хостовых инструментов
• Ключевые возможности
  • Что делает этот токен необычным
  • Кворум из двух аппаратных ключей (паттерн интегратора)
  • Криптографические возможности
    • Асимметричные / согласование ключей
    • Симметричные / AEAD
    • Вывод ключей / MAC / дайджест
    • Управление ключами
  • Свойства безопасности
  • Политика PIN
• Постквантовый статус
  • Реализовано — неаудированный крейт (за флагом функции)
  • Ожидает независимого аудита — ещё не реализовано
  • Не будет реализовано
• Обнуление — аппаратное предостережение
• Структура рабочего пространства
• Политика криптографических зависимостей
• Быстрый старт
• Известные ограничения / открытые задачи
  • Начальный PIN CCID: Dabao CCID против устаревшего CDC
• Лицензия

---

Что это такое

Прошивка для устройств Baochip-1x (оценочная плата Dabao), работающих под управлением микроядра Xous, собранная для riscv32imac-unknown-none-elf.

Она расположена здесь: https://www.baochip.com/

Устройство представляет собой аппаратный токен безопасности того же класса, что и устройства класса Nitrokey, с поведением на уровне смарт-карты OpenPGP и зашифрованным хранилищем. Полный аппаратный стек — RTL, схемы, загрузчик, ОС — имеет открытый исходный код и поддаётся аудиту.

Аппаратная спецификация, модель загрузки, таблицы требований и использование ComboHash/PKE описаны в Supermagnum/Baochip-1x-firmware. Оценочная плата Dabao (KiCad, схемы, переключатели, распиновка) — baochip/dabao. Чтобы войти в режим загрузчика для прошивки, нажмите SW2, чтобы переключить его (см. схему в том репозитории). Заметки об архитектуре для этого репозитория: docs/ARCHITECTURE.md.

Метаданные контактов Galdra