Files
Sterister e6fdf31b49
Some checks failed
Test / test (push) Has been cancelled
Cross-platform vectors / TypeScript vectors (bun) (push) Has been cancelled
Cross-platform vectors / Kotlin vectors (gradle) (push) Has been cancelled
Docker build and publish / docker (push) Has been cancelled
Publish / publish (push) Has been cancelled
release(v4.0.0): Shade GA — V3.x consolidation + audit prep
V3.1 → V3.12 consolidated and tagged for the first GA release. Wire
format unchanged from 0.4.x — 4.0 peers interoperate with 0.4.x peers
byte-for-byte. The version bump is semantic: audit-cycle complete,
opt-in surface fully exposed, threat model refreshed for every new
surface.

Highlights:
- All 24 @shade/* packages bumped to 4.0.0 in lockstep.
- CHANGELOG 4.0.0 section is the canonical manifest of what landed.
- THREAT-MODEL extended (§10 fingerprint gates, §11 WebRTC P2P, §12
  Web-Worker boundary) + residual-risks table refreshed.
- OpenAPI now covers all 27 routes: prekey, transfer, KT, inbox,
  bridge, observer, /metrics, /healthz, /ready.
- MIGRATION 0.3.x → 4.0 documented + smoke-tested against
  shade migrate-storage on a real SQLite DB.
- docs/audit/REVIEW-BUNDLE.md + SCOPE.md ready for external reviewer.
- scripts/soak.ts harness for the GA-stable 2-week soak window.
- All V*.md plans archived under docs/archive/ with Status: Done.
- Voice/Video carved out into V5.0; 4.0 audit focuses on the frozen
  non-realtime stack.

Tests: TS 1000/1000 + Kotlin 11/11 cross-platform vectors green.
Docker: gt.zyon.no/stian/shade-prekey:4.0.0 builds and reports
  version 4.0.0 on /health.

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
2026-05-03 18:35:35 +02:00

108 lines
3.9 KiB
TypeScript

import { describe, test, expect } from 'bun:test';
import {
buildAad, deriveFieldKey, deriveMasterKey, deriveNonce, deriveStorageKey,
hkdfDerive, DEFAULT_SCRYPT,
} from '../src/crypto/kdf.js';
describe('KDF — masterKey', () => {
const salt = new Uint8Array(16).fill(0x42);
test('deriveMasterKey is deterministic for the same input', async () => {
const fast = { ...DEFAULT_SCRYPT, N: 1 << 10 };
const a = await deriveMasterKey('correct-horse-battery-staple', salt, fast);
const b = await deriveMasterKey('correct-horse-battery-staple', salt, fast);
expect(a).toEqual(b);
expect(a.length).toBe(32);
});
test('different passphrase → different masterKey', async () => {
const fast = { ...DEFAULT_SCRYPT, N: 1 << 10 };
const a = await deriveMasterKey('alpha', salt, fast);
const b = await deriveMasterKey('beta', salt, fast);
expect(a).not.toEqual(b);
});
test('different salt → different masterKey', async () => {
const fast = { ...DEFAULT_SCRYPT, N: 1 << 10 };
const otherSalt = new Uint8Array(16).fill(0x43);
const a = await deriveMasterKey('p', salt, fast);
const b = await deriveMasterKey('p', otherSalt, fast);
expect(a).not.toEqual(b);
});
test('NFKC-normalises passphrase', async () => {
const fast = { ...DEFAULT_SCRYPT, N: 1 << 10 };
// U+00E9 (é, single codepoint) vs U+0065 U+0301 (e + combining acute)
const composed = await deriveMasterKey('café', salt, fast);
const decomposed = await deriveMasterKey('café', salt, fast);
expect(composed).toEqual(decomposed);
});
test('rejects empty passphrase', async () => {
await expect(deriveMasterKey('', salt)).rejects.toThrow(/non-empty/);
});
test('rejects too-short salt', async () => {
await expect(deriveMasterKey('p', new Uint8Array(8))).rejects.toThrow(/at least 16/);
});
});
describe('KDF — derivation chain', () => {
test('storageKey is HKDF("shade-storage-v1")', () => {
const master = new Uint8Array(32).fill(7);
const sk = deriveStorageKey(master);
const expected = hkdfDerive(master, 'shade-storage-v1', 32);
expect(sk).toEqual(expected);
expect(sk.length).toBe(32);
});
test('fieldKey changes per (table, column)', () => {
const sk = new Uint8Array(32).fill(9);
const a = deriveFieldKey(sk, 'sessions', 'session');
const b = deriveFieldKey(sk, 'sessions', 'identity');
const c = deriveFieldKey(sk, 'identity', 'session');
expect(a).not.toEqual(b);
expect(a).not.toEqual(c);
expect(b).not.toEqual(c);
});
test('nonce is deterministic per (rowKey, table, pk)', () => {
const k = new Uint8Array(32).fill(11);
const n1 = deriveNonce(k, 'sessions', 'alice');
const n2 = deriveNonce(k, 'sessions', 'alice');
expect(n1).toEqual(n2);
expect(n1.length).toBe(12);
});
test('nonce changes when pk changes', () => {
const k = new Uint8Array(32).fill(11);
const n1 = deriveNonce(k, 'sessions', 'alice');
const n2 = deriveNonce(k, 'sessions', 'bob');
expect(n1).not.toEqual(n2);
});
test('nonce changes when table changes', () => {
const k = new Uint8Array(32).fill(11);
const n1 = deriveNonce(k, 'sessions', 'alice');
const n2 = deriveNonce(k, 'identity', 'alice');
expect(n1).not.toEqual(n2);
});
});
describe('KDF — AAD binding', () => {
test('buildAad encodes (table, column, pk)', () => {
const aad = buildAad('sessions', 'session', 'alice');
expect(new TextDecoder().decode(aad)).toBe('shade-aad-v1|sessions|session|alice');
});
test('AAD differs for any change in binding tuple', () => {
const a = buildAad('sessions', 'session', 'alice');
const b = buildAad('sessions', 'session', 'bob');
const c = buildAad('sessions', 'trust', 'alice');
const d = buildAad('identity', 'session', 'alice');
expect(a).not.toEqual(b);
expect(a).not.toEqual(c);
expect(a).not.toEqual(d);
});
});