BLAKFRAME LTD 技術情報 会社登記番号: 16726125（イングランドおよびウェールズ） 文書区分: 技術に関する公開資料 日付: 2026年10月 1. 概要 BLAKFRAME LTDは、イングランドおよびウェールズで登記された システムエンジニアリング企業です。同社の活動は、主要なエンジニアリング開発である BLAKHOLEの開発と、低レベルソフトウェアおよび暗号ソフトウェアを対象とした 継続的なセキュリティ研究の二つです。 本書は、公開記録で裏付けられる範囲で、同社のエンジニアリングに関する立場を 説明します。BLAKHOLEのアーキテクチャ、実装、デプロイの詳細は公開していません。 これらは、取引の条件に従い、取引先に提供します。 2. 対象とする問題の種類 同社が取り組むのは、特定の種類の問題です。大半の入力だけでなく、すべての入力、 すなわち、あらゆる境界値、並行処理におけるあらゆる実行順序、あらゆる不正な形式の メッセージに対して正しさが成り立つ必要があり、メモリ破壊、未定義動作、 仕様と実行の乖離が障害として生じるソフトウェアを扱います。 この種のソフトウェアのエンジニアリング要件は厳格です。 メモリ安全性: 実行環境から、バッファオーバーフロー、解放済みメモリの使用、 データ競合を排除します。 すべての境界で定義された動作: 空、ゼロ、最大値、負の値の入力を、 偶然に任せず、明示的に処理します。 再現可能な実行: 同じ入力なら、どの実行でも常に同一の処理が行われます。 タイミング、周囲の状態、制御されていないスケジューリングに動作が依存する システムは、完全にはテストできません。実行のたびに再検証が必要となるためです。 そのようなシステムは、利用の前提として正しさを確立しなければならない領域では、 信頼して利用できません。 従来のツールだけでは、これらの要件を満たすには不十分です。このため、同社は 開発に取り組んでいます。仕様外の条件は、未定義の状態として実行を続けるのではなく、 明示すべき障害として扱います。 3. エンジニアリングの実践 同社のエンジニアリングは、利用の前提として正しさを確立する必要があるシステムを 対象としています。この種のソフトウェアに求められる以下の手法を適用します。 ツールチェーンで可能な場合は、実行時のチェックよりも静的な保証を優先します。 空、ゼロ、最大値、負の値の入力を含む、エッジケースおよび境界条件を 明示的に処理します。 仕様外の状態に遭遇した場合は、未定義動作のまま実行を続けるのではなく、 該当するプロセスを終了します。 クリティカルパスでの整数演算に、チェック付き算術演算を用います。 リリースする成果物には、再現可能なビルドとバージョン管理されたツールチェーンを 用います。 同社の手法、ツール、エンジニアリング成果物は、いずれも同社に属します。 同社が公開しないものは、公開しません。取引先には、契約に基づき、 その取引に必要な技術資料を提供します。 4. セキュリティ研究 同社は、低レベルソフトウェアおよび暗号ソフトウェアを対象としたセキュリティ研究を 継続的に行っています。テストだけでは明らかにならない、以下を含む欠陥を見つけるため、 ソフトウェアシステムを分析します。 - シリアライズおよびデシリアライズのルーチンにおけるリソース枯渇 - 重要な実行経路での安全でない処理 - プロトコルの仕様と実装の乖離 - 暗号プロトコルの実装上の欠陥 研究結果は、協調された脆弱性開示に従い、影響を受けるソフトウェアのメンテナーに 報告します。同社は攻撃能力を開発せず、エクスプロイトを販売せず、監視サービスや 通信傍受サービスも提供しません。すべての研究成果は、特定された欠陥の修正を 目的としています。 5. データの取り扱い方針 同社は顧客資金を預からず、消費者向けサービスも運営していません。取引で顧客データを 扱う場合は、データを受領する前に、その取引の契約で同社の役割を定めます。 同社はデータの販売、仲介、収益化を行いません。 6. 資産の分類 BLAKFRAMEが作成するすべてのソースコード、文書、ツール、データセットは、 アクセスに関する以下の3段階に分類します。 機密: 中核となるアルゴリズム、専有ライブラリ、社内データセット。 イングランドおよびウェールズの法令に基づき、営業秘密として保護します。 外部には開示しません。 管理対象: 秘密保持契約に基づき、提携先および顧客に提供するインターフェース仕様と 統合に関する文書。 公開: 会社の公開資料、法定届出書類、本書のような技術仕様文書。 重要なエンジニアリング成果物は、知的財産の来歴の証拠となるよう、ハッシュ値を算出し、 一度だけ書き込み可能なストレージにアーカイブします。 7. 連絡先 BLAKFRAME LTD 71-75 Shelton Street, Covent Garden, London, WC2H 9JQ United Kingdom メール: enquiries@blakframe.com セキュリティに関する事項: security@blakframe.com ウェブ: https://blakframe.com