Technical documents
The rules behind the summary on the security page: what each guarantee protects, how keys and access records fit together, and the known gaps.
Each page is published from the Markdown source in the public Tearleads repository on GitHub.
- Security guarantees
- What each property protects, the threat model, and the known gaps.docs/security-guarantees.md
- Keying design
- How content keys, container keys, and recipients fit together.docs/keying-design.md
- Protocol specification
- Messages, proofs, validation rules, and failure semantics.docs/protocol-specification.md
- Cipher suites
- The cryptographic primitives and where each one is used.docs/cipher-suites.md
- Protocol models (TLA+)
- Bounded models of protocol safety rules that complement, not replace, tests.formal/README.md
- Limits
- Every bound the protocol enforces, what enforces it, and what happens past it.docs/limits.md
- Glossary
- Shared protocol terms used across the technical documents.docs/glossary.md