Threat model
Who can cheat, what breaks, and what cryptography actually bounds. Last reviewed: July 2026.This page complements Security & trust model with an adversary-oriented view. It is the canonical place for “what could go wrong” — the Litepaper stays narrative; this page stays falsifiable.
Trust boundaries (summary)
Not in scope today: confidential compute, hardware attestation, forward-pass honesty (TOPLOC at v1).
Adversary catalog
A1 — Lazy or offline provider
Goal: Collect routing weight without serving quality responses. Mechanism: Accept requests, return garbage or timeout; omit or delay receipts. Mitigations (live):- Receipt deadline — late receipts are non-settling (Verified model settlement)
- Fault breaker — missing/invalid receipts → zero provider credits
- Provisional vs pinned tiers — new providers start with lower weight (Reputation)
A2 — Receipt log-forger (wrong key)
Goal: Forge receipts without holding the provider signing key. Mechanism: Re-sign tuples with attacker key or replay old receipts. Mitigations (live):- Ed25519 verification against coordinator-resolved or explicit
--pubkey - Catalog-anchored
model_hashin v0.3 tuple
--pubkey offline.
A3 — Model swap (honest hash, dishonest compute)
Goal: Serve from different weights or shortcut computation while advertising catalog model. Mechanism: Load catalog weights for hash check but run a cheaper approximation; or serve model A while signing hash for model B if implementation bug. Mitigations (live):- Receipt binds
model_hashto catalog entry — swap off-catalog fails verification - Settlement faults on hash mismatch
- TOPLOC forward-pass attestation on buyer completions
A4 — Mine-M, serve-M′ (mining vs serving divergence)
Goal: Mine on cheap substrate; serve buyers from different hardware or model. Mechanism: PoMW walk on one weight file; inference from another process or machine. Mitigations (planned):- PoMW walk hashes same canonical GGUF as inference catalog
- Cooperative scheduler design: mining state ≈ serving state at v1
- TOPLOC ties served output to attested forward pass
A5 — Coordinator / gateway compromise
Goal: Mis-route traffic, alter billing, substitute pubkeys. Mechanism: Attacker controlscoordinator.malibu.tech or gateway TLS termination.
Mitigations:
- Buyers can verify receipts offline with
--pubkey, bypassing live key resolution - Signed static catalog feed for model hashes
- Self-hosted coordinator on roadmap for trust-sensitive buyers
A6 — Buyer tool-call injection
Goal: Trick agent runtime into executing model-suggested tools. Mechanism: Model emits malicioustool_calls[]; buyer executes without validation.
Mitigations:
- Documented buyer obligation — Buyer-side validation
- Receipt proves model output, not safe intent
A7 — Privacy expectation mismatch
Goal: (Buyer mistake) Assume prompts are private. Mechanism: Misread marketing copy; prompts traverse gateway + provider as plaintext. Mitigations:- Security page + Introduction state cooperative-trust boundary explicitly
- Litepaper uses “Cooperative trust” not “Private”
Verification primitive matrix
Reporting
Security-sensitive findings: GitHub private vulnerability reporting on the relevant repository. Do not attach private prompts, API keys, or receipt bundles to public issues.Related
- Security & trust model — precise receipt semantics
- Benchmarks & methodology — PoMW scope
- TOPLOC integration — v1 verification design
- Glossary — term definitions