BLAKFRAME LTD
技术披露
公司编号：16726125（英格兰和威尔士）
文件分类：公开技术披露
日期：2026年10月


1. 概述

BLAKFRAME LTD 是一家在英格兰和威尔士注册的
系统工程公司。公司的工作分为两个方面：开发 BLAKHOLE，
这是公司的主要工程开发工作；以及持续开展
底层软件与密码软件的安全研究。

本文件在公开记录所支持的范围内说明公司的
工程立场。BLAKHOLE 的架构、实现及部署细节
不予公开；这些资料依照业务合作条款
提供给合作方。


2. 问题类别

公司处理的是一类特定问题：软件必须对所有输入
保持正确，而非仅对大多数输入正确，包括
每一个边界值、每一种并发交错执行、每一条
畸形消息；其失效模式包括内存损坏、未定义行为，
以及规范与执行之间的偏差。

这类软件的工程要求严格：

  内存安全：从执行环境中消除缓冲区溢出、释放后使用
  及数据竞争。

  各边界条件下行为均有明确定义：对空值、零值、最大值及
  负值输入进行显式处理，而非偶然得到处理。

  可复现执行：相同输入每次都产生相同的执行过程，
  每次运行均如此。如果系统的行为依赖于时序、环境状态
  或不受控制的调度，就无法对其进行完整测试，因为每次
  运行都必须重新验证；在必须先确认正确性才能加以依赖
  的场景中，也不能依赖这样的系统。

仅靠常规工具不足以满足这些要求；这正是
公司开展开发工作的原因。任何超出规范的情况
都被视为应予暴露的故障，而非可以在其中
继续执行的未定义状态。


3. 工程实践

公司的工程工作面向必须先确认正确性
才能加以依赖的系统。工程实践采用
与这类软件相关的方法：

  在工具链允许的情况下，优先采用静态保证，
  而非运行时检查。

  显式处理特殊情况及边界条件，包括空值、零值、最大值
  及负值输入。

  遇到规范之外的状态时，
  终止受影响的进程，
  而非在未定义行为下继续执行。

  对关键路径中的整数运算采用带检查的算术运算。

  对已发布的产物采用可复现构建和有版本管理的工具链。

公司的方法、工具及工程产物均为公司自有。
公司不公开的内容，不予公开；合作方依据合同获得
业务合作所需的技术资料。


4. 安全研究

公司持续开展底层软件与密码软件的安全研究。
研究通过分析软件系统，查找仅靠测试
无法发现的缺陷，包括：

  - 序列化与反序列化例程中的资源耗尽
  - 关键执行路径中的不安全处理
  - 协议规范与实现之间的偏差
  - 密码协议实现中的缺陷

发现的问题通过协调漏洞披露机制
报告给受影响软件的维护者。公司不开发
攻击能力，不出售漏洞利用程序，也不提供
监视或截获服务。所有研究成果均用于
修复已发现的缺陷。


5. 数据立场

公司不持有客户资金，也不运营面向消费者的服务。
如业务合作涉及客户数据，公司的角色会在接收任何数据
之前于业务合作协议中明确。公司不出售数据，不从事
数据经纪业务，也不将数据变现。


6. 资产分类

BLAKFRAME 产出的所有源代码、文档、工具及数据集
均划分为三个访问级别：

  受限：核心算法、专有库及内部数据集。
  依据英格兰和威尔士法律作为商业秘密
  予以保护。不向外部披露。

  受控：依据保密协议向合作伙伴及客户提供的接口规范
  与集成文档。

  公开：公司公开资料、法律备案文件，以及本文件等
  技术规范文件。

对重要工程产物计算哈希值，
并归档至一次写入存储介质，
以提供知识产权来源的佐证。


7. 联系方式

BLAKFRAME LTD
71-75 Shelton Street, Covent Garden, London, WC2H 9JQ
United Kingdom

电子邮箱：enquiries@blakframe.com
安全事项：security@blakframe.com
网站：   https://blakframe.com