工程领域
在约束真正决定架构的地方
做深入的技术工作。
Egothor 的项目集中在四个彼此关联的领域:信息检索、软件保障、密码工程,以及支撑它们的语言与基础设施层。
信息检索
面向授权本身属于检索问题一部分的环境,进行全文搜索、索引和结果披露。
- 受监管且策略感知的搜索
- 确定性的索引与查询执行
- 信息边界与披露控制
软件保障
围绕测试清单、安全分类和可复现质量控制构建以证据为中心的工程方法。
- 源代码级测试发现
- 安全测试分类体系
- 面向审计的证据与 CI 输出
密码系统
把经典与后量子密码构件整合进可靠的数据、签名和 PKI 工作流。
- 经典 + 后量子密码
- PKI 与生命周期工程
- 离线及受限运行模式
语言与基础设施
紧凑算法与小型基础设施库,使生产运行路径保持确定、清晰且易于推理。
- 多语言词干处理
- 编译式 trie 转换
- 共享上下文与事件驱动协调
工程立场
有研究深度,但不要“研究表演”。
工作应当把底层模型显式呈现出来:假设、状态转换、运行约束、测试和性能证据,都应具体到足以让另一位工程师提出质疑。
显式模型
架构应把安全、数据和状态模型显露出来,而不是把它们藏在偶然的实现行为中。
精简运行路径
准备与验证阶段可以复杂,只要它们让生产路径更小、更快、更容易推理。
证据优先于宣称
测试、基准、确定性制品和结构化报告属于工程模型本身,而不是发布时的装饰。