From 657a5b564209ccbfe2f8a607f07f209f323b32ab Mon Sep 17 00:00:00 2001 From: Vault Sovereign Date: Sat, 27 Dec 2025 02:07:24 +0000 Subject: [PATCH] docs: update vm-ledger references --- FORMAT.md | 12 ++++++------ README.md | 6 +++--- 2 files changed, 9 insertions(+), 9 deletions(-) diff --git a/FORMAT.md b/FORMAT.md index e1518f4..3dfb599 100644 --- a/FORMAT.md +++ b/FORMAT.md @@ -1,6 +1,6 @@ # Format Specification (v0) -This document freezes the v0 formats used by `civilization-ledger`. +This document freezes the v0 formats used by `vm-ledger`. Key idea: **signing and verification do not depend on CBOR serialization details**. The canonical signing bytes are defined below and locked by golden-vector tests. @@ -32,7 +32,7 @@ Key idea: **signing and verification do not depend on CBOR serialization details 6. `payload_hash = BLAKE3(payload_cbor)` (32 bytes) 7. `author_pubkey` (32 bytes) -This is implemented in `civilization-ledger/crates/ledger-core/src/entry.rs:32` and locked by `civilization-ledger/crates/ledger-core/tests/golden_vectors.rs:10`. +This is implemented in `vm-ledger/crates/ledger-core/src/entry.rs:32` and locked by `vm-ledger/crates/ledger-core/tests/golden_vectors.rs:10`. ### Entry hash (v0) @@ -100,8 +100,8 @@ or `CheckpointAttestationV1`, distinguished by the `format` field. 5. `checkpoint_head_hash` (32 bytes) 6. `ts_seen_ms` as little-endian `u64` (8 bytes) -This is implemented in `civilization-ledger/crates/ledger-core/src/attestation.rs` and locked by -`civilization-ledger/crates/ledger-core/tests/attestation_vectors.rs`. +This is implemented in `vm-ledger/crates/ledger-core/src/attestation.rs` and locked by +`vm-ledger/crates/ledger-core/tests/attestation_vectors.rs`. ### Checkpoint Attestation (v1) @@ -149,7 +149,7 @@ Verification: - if `sibling_side == "right"`: `current = BLAKE3("CL-merkle-node-v0" || current || sibling)` 3. Accept iff `current == checkpoint_merkle_root` -This is implemented in `civilization-ledger/crates/ledger-core/src/proof.rs`. +This is implemented in `vm-ledger/crates/ledger-core/src/proof.rs`. ## Receipt (v0) @@ -170,7 +170,7 @@ Verification: 3. If witness is required: verify at least one included checkpoint attestation (v0 or v1) and require it matches `read_proof.entry_count` + `read_proof.checkpoint_merkle_root_hex`. -This is implemented in `civilization-ledger/crates/ledger-core/src/receipt.rs`. +This is implemented in `vm-ledger/crates/ledger-core/src/receipt.rs`. ## Payload Type: `file_anchor.v0` diff --git a/README.md b/README.md index dd2c2b5..7b098cd 100644 --- a/README.md +++ b/README.md @@ -2,7 +2,7 @@ Not a game. -`civilization-ledger` is a cryptographic, append-only, tamper-evident ledger for governance/law/memory/AI accountability. +`vm-ledger` is a cryptographic, append-only, tamper-evident ledger for governance/law/memory/AI accountability. ## Properties (v0) @@ -16,7 +16,7 @@ Not a game. ```bash # from this repo root -cd civilization-ledger +cd vm-ledger cargo run -p ledger-cli -- keygen --out ~/.config/civ-ledger/keys/operator.json cargo run -p ledger-cli -- init --dir ./my-ledger @@ -47,4 +47,4 @@ cargo run -p ledger-cli -- verify --dir ./my-ledger --format json ## Spec -See `civilization-ledger/FORMAT.md`. +See `vm-ledger/FORMAT.md`.