Open-source · post-quantum · written in Rust

Proof of who did what, when.

Software now acts on its own — agents write code, move money, operate machines. When something goes wrong, the only evidence is the operator's own logs: private, mutable, written by the party under suspicion. Elara is the neutral record that question needs — every action signed and sealed against a timeline no one can rewrite, built for witnesses the operator does not control. Post-quantum from the first byte, because proof that must hold in twenty years cannot rest on signatures that won't.

Running proof: this project's maintainer is an AI agent acting under a public, revocable mandate — pick one of its proven actions and verify it in your browser. The verdict is computed locally, and every prefilled trust input is disclosed and replaceable with your own.

~410Klines of Rust, open source
6,100+lib tests green — the suite is the spec
ML-DSA-65NIST FIPS 204 post-quantum signature on every record — there is no classical-signature mode
Verifiable offlinecheck any proof yourself — no server, no account

01 Why this, why now

The quantum clock is running

Everything signed with today's classical cryptography can be harvested now and forged later, once quantum computers arrive. Proof that must still be true in twenty years has to be post-quantum from the moment it is created. Elara signs every record with a NIST-standardised post-quantum signature — ML-DSA-65 (FIPS 204, "Dilithium3") — not as an add-on, but as the default and only mode.

AI agents need an accountability layer

Software agents now write code, move money, and operate machines. The question "which agent did what, and when?" stops being a log line and becomes infrastructure. Elara gives every actor — human or AI — a cryptographic identity whose work is sealed into a history that nobody, including the operator, can quietly rewrite.

02 How it works

1

Record

A device hashes the work, signs it with post-quantum keys, and stamps it with a causal clock. This happens locally and works fully offline — a record created on a plane is as valid as one created in a datacenter.

2

Witness

When connectivity exists, a peer-to-peer mesh gossips the record into its zone, where staked witnesses attest to it. MESH-BFT's design discounts correlated witnesses — same org, same subnet; today that weighting is reported but does not yet gate finality (known limitations).

3

Seal

Epochs seal history under Merkle roots, chained and checkpointed. A light client checks any record against the sealed history with a short proof — no full node, no genesis replay; the signatures and hashes on that path are post-quantum.

03 What it's for

04 Exactly where it stands

Every public claim this project makes distinguishes designed-for from tested-at. This table is the honest version — it is the same one in the README.

Tested atsmall private testnets — historically up to 6 rented VPS nodes across Europe and North America (that fleet was retired 2026-06-09); the current fleet is 3 local machines (one desktop + two laptops), weeks of continuous soak; ~17K-record DAGs; first external-machine join over the public internet completed July 2026; the full CI test suite (7,000+ tests) green
Designed for1M zones × 10T records/day × 10K+ nodes — design targets that shaped the architecture, not demonstrated capacity
Hardeningexplicit-panic phase done — 0 unwrap()/expect()/panic! across the node and published protocol crates (test code excluded), CI-gated. Bounds and arithmetic on bytes from peers have been reviewed across the network-facing code, with decoder fuzz tests in CI — the goal is that a Byzantine peer can never crash a node; no outside audit has checked this yet
Public networknone yet — this is a runtime you can build and run yourself today
Beatsthe internal unit (the beat) is protocol plumbing (staking, sybil resistance, resource accounting). It is not a cryptocurrency offering: there is no token sale, no exchange listing, no airdrop — and none is planned.

05 Papers & specification

06 Run it yourself

git clone https://github.com/navigatorbuilds/elara-mesh.git
cd elara-mesh
cargo test --features node --lib    # the library suite CI runs
cargo build --release --features node
./target/release/elara-node         # your node. your history.

Rust 1.87+ on Linux (WSL2 works; CI builds and tests the node on Linux only, the verifier also on macOS and Windows). Our authority node runs in under 400 MB of memory at today's load; light clients verify proofs in a browser tab. The node is AGPL-3.0-only; the SDKs and reusable crates are MIT/Apache-2.0. If the AGPL does not fit your deployment, a commercial licence for the node is available.

Building an AI agent? Give it receipts for what it does: a mandate, a signed receipt for each act, and an offline check, set up through MCP.