100 lines
3.3 KiB
Markdown
100 lines
3.3 KiB
Markdown
|
# Shade V3.12 — Key Transparency
|
||
|
|
|
||
|
|
**Status:** Done (0.4.0). Designnotat: `docs/V3.12-DESIGN.md`.
|
||
|
|
Operatør-/recovery-guide: `docs/key-transparency.md`.
|
||
|
|
**Effort:** XXL (4+ måneder, multi-quarter)
|
||
|
|
**Forrige:** V3.5 (hovedplattformene stabile først)
|
||
|
|
**Adresserer:** V2.3 §1A
|
||
|
|
|
||
|
|
---
|
||
|
|
|
||
|
|
## Mål
|
||
|
|
|
||
|
|
Reduser tillit til prekey-server fra "blind tillit" til "verifiserbar log".
|
||
|
|
Når serveren utleverer et bundle, skal det være kryptografisk forpliktet i
|
||
|
|
en **append-only log** som klienter (eller tredjeparts-auditors) kan
|
||
|
|
verifisere. Et split-view-angrep der serveren viser ulike bundles til ulike
|
||
|
|
klienter blir fanget av gossip.
|
||
|
|
|
||
|
|
---
|
||
|
|
|
||
|
|
## Pre-requisite: designnotat
|
||
|
|
|
||
|
|
**Ingen kode før dette er review'd og approved:**
|
||
|
|
|
||
|
|
- Trusselmodell-tillegg: hva CT/attest faktisk løser, hva som forblir åpent.
|
||
|
|
- Datastruktur-valg: append-only Merkle log (CT-stil), CONIKS-tre, eller
|
||
|
|
hybrid.
|
||
|
|
- Friskhetsbevis: hvor ofte signed tree heads utgis; hva er "stale"?
|
||
|
|
- Klient-verifikasjonssteg: må klient verifisere på hver bundle-fetch,
|
||
|
|
eller probabilistisk?
|
||
|
|
- Witness/auditor-rolle: hvem kjører dem? Hvordan gossip mellom klienter?
|
||
|
|
- Operatørkost: log-størrelse, signing-frekvens, backup-strategi.
|
||
|
|
- Migrasjon: eksisterende prekey-server → log-utvidet.
|
||
|
|
|
||
|
|
Designnotatet er en `docs/V3.12-DESIGN.md`-PR som må review'es av minst én
|
||
|
|
ekstern crypto-orientert reviewer.
|
||
|
|
|
||
|
|
---
|
||
|
|
|
||
|
|
## Mulig scope (etter designnotat)
|
||
|
|
|
||
|
|
### Inn (estimat)
|
||
|
|
|
||
|
|
- Append-only log som tillegg til prekey-server.
|
||
|
|
- Inklusjons-bevis ved bundle-fetch (Merkle-path).
|
||
|
|
- Fravær-bevis for "denne adressen har ikke registrert siden timestamp T".
|
||
|
|
- Signed tree heads (STH) publisert på fast interval.
|
||
|
|
- Klient-bibliotek: `@shade/key-transparency` med verifisering.
|
||
|
|
- Witness-API: tredjeparts-auditor kan hente STH-er og logge gossip.
|
||
|
|
|
||
|
|
### Ut (eksplisitt)
|
||
|
|
|
||
|
|
- Federated log (multi-server gossip) — for stort for første iterasjon.
|
||
|
|
- Legal/compliance-side av audit-log.
|
||
|
|
- "Vi løser MITM-på-første-kontakt-helt" — KT alene fanger split-view, ikke
|
||
|
|
første-kontakt.
|
||
|
|
|
||
|
|
---
|
||
|
|
|
||
|
|
## Risiko-vurdering
|
||
|
|
|
||
|
|
KT er det **vanskeligste enkeltpunkt** i hele roadmapen:
|
||
|
|
|
||
|
|
1. **Halvveis-implementert KT er verre enn ingen KT** — gir falsk trygghet,
|
||
|
|
brukere slutter å verifisere OOB.
|
||
|
|
2. Operativt komplekst — log må aldri skrive om historie. En enkelt
|
||
|
|
restart-bug = ødelagt integritet.
|
||
|
|
3. Klient-verifikasjons-logikk må kjøre på hver bundle-fetch, eller
|
||
|
|
risikere at én "gammel" klient blir lurt.
|
||
|
|
4. Witness-økosystem krever uavhengige aktører — Shade alene kan ikke
|
||
|
|
garantere det.
|
||
|
|
|
||
|
|
**Beslutningskriterium:** Hvis designnotatet etterlater åpne "hvordan
|
||
|
|
håndterer vi X?"-spørsmål uten klare svar, parker V3.12. Pragmatisk
|
||
|
|
alternativ er **V3.3 (fingerprint-gate)** + **V3.10 (social recovery)** —
|
||
|
|
som sammen gir 80 % av MITM-beskyttelsen uten KT-kompleksiteten.
|
||
|
|
|
||
|
|
---
|
||
|
|
|
||
|
|
## Akseptansekriterier (hvis det implementeres)
|
||
|
|
|
||
|
|
- [ ] Designnotat passert ekstern review.
|
||
|
|
- [ ] Klient detekterer split-view i ende-til-ende-test (server gir to
|
||
|
|
versjoner av samme adresse → klient fanger mismatch).
|
||
|
|
- [ ] Witness-API testet med minst én ekstern auditor-instans.
|
||
|
|
- [ ] Operatør-doc dekker recovery hvis log korrumperer.
|
||
|
|
|
||
|
|
---
|
||
|
|
|
||
|
|
## Avhengigheter
|
||
|
|
|
||
|
|
- V3.5 — Android/TS paritet må være solid før vi legger på et nytt
|
||
|
|
verifikasjons-lag.
|
||
|
|
|
||
|
|
---
|
||
|
|
|
||
|
|
## Migrasjon
|
||
|
|
|
||
|
|
Helt opt-in. Operatører som ikke ønsker KT kjører videre uendret.
|