>_NUCLEUSDB

NucleusDB

Verifiable Database Engine

Every write is a cryptographic commitment. Every query comes with a proof. Append-only mode makes deletion mathematically visible. A mutable working database with SQL, typed values, blob storage, vector search — and a proof surface where exact queries come with commitment proofs.

$ create

nucleusdb create --db ./records.ndb --backend merkle

GitHub →Formal Proofs →

>_THREE.PROPERTIES

Three Properties, One Database

MUTABLE

Working Database

SQL, typed values, blob storage, vector search, and multi-tenant HTTP access. A full working database you can query and modify.

PROVABLE

Proof Surface

Exact queries come with commitment proofs. Three backends: Binary Merkle (SHA-512), IPA (Pedersen), and KZG (polynomial).

IMMUTABLE

Append-Only Mode

Monotone seal chaining for audit logs and permanent records. Deletions become new immutable facts, not erasures.

>_COMMITMENT.BACKENDS

Three Commitment Schemes

Choose your proof backend. Each provides different tradeoffs between proof size, verification time, and setup requirements.

Binary Merkle

SHA-512 Merkle trees for content-addressed storage. Default backend. Every key maps to a deterministic index; every value gets a proof path.

IPA (Inner Product Argument)

Pedersen commitment scheme with batched opening proofs. Constant-size proofs regardless of database size.

KZG (Kate-Zaverucha-Goldberg)

Polynomial commitment scheme with trusted setup. Single-element proofs in constant time. Requires ceremony artifacts.

>_DATA.SERVICES

Data Services

Typed Values

8 native types: Null, Bool, Int, Float, String, Bytes, Vector, JSON. Type-preserving storage and retrieval.

SQL Interface

INSERT, SELECT, UPDATE, DELETE, COMMIT, VERIFY, SHOW STATUS/HISTORY, EXPORT. The cryptographic boundary is COMMIT.

Vector Search

kNN search over 384-dimensional embeddings. Store vectors alongside structured data in the same verifiable database.

Blob Store

Content-addressed blob storage with SHA-256 keys. Store large binary payloads with automatic deduplication.

Memory System

Agent memory with chunk-overlap windowing, embedding generation, and fused reranking (similarity + biencoder + lexical + negation).

Append-Only Mode

Monotone seal chaining makes deletion mathematically visible. Edits and deletes are logged as new immutable facts.

>_SQL.INTERFACE

SQL Over a Verifiable Core

Insert and commit

INSERT INTO data (key, value) VALUES ('temperature', 42);
COMMIT;

Query with proof

SELECT key, value FROM data WHERE key = 'temperature';
VERIFY 'temperature';

Database status

SHOW STATUS;
SHOW HISTORY;
EXPORT;

Append-only mode

SET MODE APPEND_ONLY;
-- Deletes now create immutable audit entries

Key property: COMMIT is the cryptographic boundary where witnesses, CT heads, and monotone seals advance.

>_DISCORD.RECORDER

Discord Recorder

A concrete application built on NucleusDB: record every Discord message, edit, and delete event as append-only database entries. Each stored message includes author metadata, timestamps, attachment metadata, mention/reaction summaries, and a deterministic record seal hash.

/status

Bot and database status

/verify

Verify a message record

/search

Search recorded messages

/integrity

Full database integrity check

Record schema: msg:<channel_id>:<message_id> | edit:<channel_id>:<message_id>:<timestamp> | del:<channel_id>:<message_id>:<timestamp>

Verifiable Data for Autonomous Agents

NucleusDB is the storage layer powering Agent H.A.L.O.'s tamper-proof observability.

View on GitHub →Explore MCP Tools