Data engine / Rust / Offline verification
Data should remember how it became true.
Hyphae is an autonomous, embeddable, verifiable data engine written in Rust.
01 / THESIS
Storage is not enough when a result must defend itself.
Hyphae preserves the trail connecting a write to reconstructed state, the query that read it, and a proof another machine can verify without trusting the original process.
02 / SYSTEM
From event to proof.
A legible chain with authority defined at every transition.
Write
Every mutation enters an append-only checksummed, digest-chained log.
Rebuild
Indexes are derived and rebuildable; the durable log retains authority.
Query
Filters, ordering, cursors, and aggregations execute with explicit budgets and no partials.
Prove
The result binds to a snapshot, a caller-pinned anchor, and full offline re-execution.
03 / CAPABILITIES
Autonomy you can inspect.
A local core
Hyphae runs its core storage, deterministic query, recovery, and verification locally as one native binary with one data directory.
Deterministic query
The same inputs, snapshot, and budgets produce an answer that can be executed again and compared.
Proofs that travel
Hyphae can emit portable result proofs that bind a deterministic query result to a snapshot witness and caller-pinned anchor for offline re-execution.
Surfaces without replacing the engine
Rust, TypeScript, Python, CLI, MCP, and an OpenAPI /v1 surface surround the same product boundary.
04 / OPERATE
Create, query, prove.
The essential flow does not require a cloud, external database, or embedding model.
hyphae init ./ledger
hyphae put --collection decisions --json decision.json
hyphae query --collection decisions --filter 'status=accepted' --proof result.hproof
hyphae verify result.hproof --offline05 / BOUNDARY
A precise engine, not a total promise.
Hyphae keeps a deliberately narrow boundary so its guarantees remain legible.
- It is not Mycelium or a cognition runtime.
- It is not a hosted SaaS, SQL database, or embedding service.
- It does not include clustering, replication, multitenancy, or a control plane.
- TLS, at-rest encryption, and distributed operation belong to the integrator.
06 / RELEASE
Hyphae 0.2.0
Hyphae's current verified public release is 0.2.0.