基金会筹建中 临时托管:Celiums Solutions LLC 查看状态说明

软件系统01/数据

为必须存续且可解释的数据提供单一本地权威。

Hyphae 是一种 Rust 数据引擎,其中 SQL、本机结构、词法/向量搜索、事务、恢复和证明共享一个拥有的存储和提交底层。

将一堆本地数据库和搜索服务替换为一个有界的、具有离线功能的权威机构,其状态和发布可以被验证。

01 / Benefits

为何使用 Hyphae

一笔交易边界

SQL、结构和搜索突变在一个目录、WAL、MVCC 根集和提交序列下提交。

建设本地优先

嵌入式 Rust、本地套接字或命名管道、CLI 和可选的环回 HTTP 无需云帐户即可工作。

不使用 sidecar 进行搜索

词汇、精确向量、增量 ANN、过滤、分面、度量和混合搜索位于同一引擎中。

耐用性可检验

检查点、备份、恢复、恢复、真空生成、医生报告、证明和见证人都限制了故障行为。

公共合同

OpenAPI、JSON 架构、类型化 Python 和 TypeScript SDK 以及版本化本地协议定义了线路边界。

公布证据

档案、校验和、SBOM、签名、出处和入场收据将发布与确切来源绑定。

02 / Architecture

系统架构

所有公共表面都集中在一个本地产品和交易权威上;存储、恢复和证据不是独立的服务。

  1. 01

    应用领域

    嵌入式 Rust、CLI、Python/TypeScript SDK、MCP、本地协议、可选 HTTP /v2

  2. 02

    土特产品权威

    身份、访问控制、会话、限制、取消、操作和事务调度

  3. 03

    三个数据面

    关系 SQL + 本机结构 + 词法/向量/混合搜索

  4. 04

    耐用的基材

    目录、页面、blob、WAL、MVCC、索引、对象 ID、检查点、备份和证明

  5. 05

    可验证的输出

    见证人、收据、医生报告、发布来源和离线验证

03 / Surface

Hyphae 提供什么

关系型

有界 DDL/DML、准备好的查询、二级索引、连接、约束、窗口和事务。

原生结构

字符串、计数器、哈希、列表、集合、排序集合、流、TTL、扫描、代数和原子批次。

检索

BM25、精确向量、HNSW ANN、过滤器、构面、度量、确定性融合和相同快照混合搜索。

运营

单目录所有权、检查点、备份/恢复、清理、导入/升级、访问控制和诊断。

04 / Evidence

已验证的成果

G7 运营规模权威是其命名的虚拟机和协议的有力证据,而不是普遍的延迟声明。

33M

测量的观察结果

33 surface/concurrency cells

3M

逻辑提交已恢复

零缺失或不匹配

1.0

ANN 召回率@10

在每个测量的细胞中

G0–G8

封闭有界门

源头释放证据

这些测量建立了发布环境中的有限正确性、核算、召回、并发性和恢复。他们不认证便携式延迟、裸机或分布式操作。

05 / 当前能力

当前能力

  • 作为一个本地 Rust 二进制文件和一个独占数据目录运行。
  • 将关系、结构和检索工作负载统一到一个事务权限下。
  • 支持嵌入式、本地多客户端、CLI 和可选的环回 HTTP 使用。
  • 提供跨平台档案和类型化客户端,并进行发布验证。
06 / 发展方向

发展方向

  • 减少嵌入路径争用并完成单级过滤。
  • 仅在证据门后添加 SIMD 和可选的异构加速。
  • 预先证明的嵌入和检索证明。
  • 将托管、分布式和模型驱动的程序视为单独的合同,而不是无声的范围增长。
07 / 明确边界

明确不是什么

  • 不是分布式集群、托管 SaaS、计费/控制平面或多租户数据库。
  • 没有内置 TLS 或静态加密;操作员拥有远程终止和文件系统策略。
  • 没有嵌入式法学硕士或所需的嵌入提供商。
  • 证据验证​​记录的承诺和规则;它们不能证明输入事实是真实的。

Hyphae

将一堆本地数据库和搜索服务替换为一个有界的、具有离线功能的权威机构,其状态和发布可以被验证。