Skip to content
KitploitKITPLOIT
ツールエクスプロイトブログ
Log in
提出
ツールエクスプロイトブログ
提出

ハッキング、侵入テスト、サイバーセキュリティツールをあなたのセキュリティアーセナルに!

Kitploitはハッキング、サイバーセキュリティ、ペネトレーションテストのツールディレクトリです。最新のプロジェクトアップデートを見つけて、脆弱性の発見、システム分析、テストの自動化、セキュリティの強化を行いましょう。

フィードお問い合わせプライバシー© 2026 Kitploit

ツールディレクトリ

カテゴリ

すべてのカテゴリを見る
Loading categories
Galdralag-firmware — Baochip-1x 用の暗号フレームワーク。 | Kitploit
ツール/GitHubGitHub/supermagnum/galdralag-firmware
組み込みシステムセキュリティ暗号化/復号化ツール暗号化ハードウェアセキュリティアイデンティティ&アクセス管理 (IAM)認証ファームウェア解析
GitHubsupermagnum/galdralag-firmware

Galdralag-firmware

Baochip-1x 用の暗号フレームワーク。

リポジトリを見る
33129日前未レビュー

人気

すべて見る →

コミュニティで最も使われているツールを見つけましょう。

すべてのツールを探索

ツールコレクションを閲覧

すべてのツールを見る →
共有

Galdr — Galdralag ファームウェア

Open Invention Network

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)
  • スキップおよび無視されるテスト
  • 名前について
  • ドキュメント
  • コードマップ (関数およびモジュール索引)
  • クレート依存関係 (上流 対 プロジェクト)
  • デバッグ手順
  • 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 レジストリサーバー)
  • 標準 対 ファームウェア固有の機能
  • Shamir 秘密分散とドライブ暗号化
  • ドイツの eID と Governikus を公開鍵のトラストアンカーとして利用する
  • 標準化プロセス: Shamir と一時鍵交換
    • CESS (関連するオープン標準)
  • Sequoia PGP (このリポジトリが応答しない場合)
  • プラットフォームサポート (Linux のみ)
  • ビルド、インストール、アンインストール
    • ファームウェアのコンパイル
    • 書き込み
    • ホストツールのコンパイルとインストール (galdra、galdrad、galdra-gtk)
    • galdrad とデスクトップ GUI (galdra-gtk) の実行
    • ホストツールのアンインストール
  • 主要な機能
    • このトークンが珍しい理由
    • デュアルハードウェア鍵クォーラム (インテグレーターパターン)
    • 暗号機能
      • 非対称 / 鍵合意
      • 対称 / AEAD
      • 鍵導出 / MAC / ダイジェスト
      • 鍵管理
    • セキュリティ特性
    • PIN ポリシー
  • ポスト量子の状況
    • 実装済み — 未監査クレート (フィーチャーゲート)
    • 独立監査待ち — 未実装
    • 実装しないもの
  • ゼロ化 — ハードウェア上の注意点
  • ワークスペース構成
  • 暗号依存関係ポリシー
  • クイックスタート
  • 既知の制限 / 未解決の作業
    • CCID 初期 PIN: Dabao CCID 対 レガシー CDC
  • ライセンス

これは何か

Xous マイクロカーネル上で動作する Baochip-1x (Dabao 評価ボード) デバイス用のファームウェアで、riscv32imac-unknown-none-elf 向けにビルドされています。

ここにあります: https://www.baochip.com/

このデバイスは Nitrokey クラスのデバイスと同じカテゴリのハードウェアセキュリティトークンで、OpenPGP スマートカードクラスの動作と暗号化されたボールトを備えています。ハードウェアスタック全体 — RTL、回路図、ブートローダー、OS — はオープンソースで監査可能です。

ハードウェア仕様、ブートモデル、要件テーブル、ComboHash/PKE の使用法は Supermagnum/Baochip-1x-firmware に文書化されています。Dabao 評価ボード (KiCad、回路図、スイッチ、ピン配置) は baochip/dabao です。書き込みのために ブートローダーモード に入るには、SW2 を押して 切り替えます (そのリポジトリの回路図を参照)。このリポジトリのアーキテクチャノート: docs/ARCHITECTURE.md。

Galdra 連絡先メタデータ

Galdra ホストツールは受信者 (連絡先) の ローカル SQLite ディレクトリを保持します。保存される各アイデンティティには公開鍵素材と、任意の サイドカーラベル (下の表を参照) が含まれます。これらのタグはホストデータベース内に存在し、Galdra 鍵 の場合はオンチップの 連絡先ストア (crates/contact-store) にも存在します。これらは自分で整合させない限り OpenPGP ユーザー ID に魔法のように結びつくものではなく、アウトオブバンドで確認しない限り暗号学的に保証されるものでもありません。任意の galdra keyserver push は、エクスポートされた公開鍵とともに、重複するフィールドを JSON としてプロジェクトレジストリに送信できます。トークン上のフィールドごとの来歴は SelfAttested、HostVerified、RegistrySync、OobVerified を使用します (メタデータ比較 (GnuPG 対 Galdra) および docs/RRAM_LAYOUT.md の連絡先ストアレイアウトを参照)。

ツールをダウンロード