Research
Design documents
In the repository
Upoch's design is written down in the project repository. These are the documents, what each covers, and where they stand.
Documents
| Document | Covers | Status |
|---|---|---|
| Protocol specification v0.5 | Checkpoint hash, submission rules, recovery lifecycle, invariants, limitations | Candidate; internal review |
docs/CHECKPOINT-PROFILE.md | How manifests, encryption, locators and the SDK lifecycle map onto the contract | Accepted (D-037) |
docs/DECISIONS.md | Every protocol and engineering decision, with reasons | D-001 to D-054 |
docs/security/AUDIT-PACKAGE.md | Threat model, invariants and evidence prepared for an auditor | Prepared; no audit engaged |
docs/TARGET-CHAIN.md | Robinhood Chain facts verified so far, and what is still open | Deployed on testnet and mainnet |
Open questions
- Execution correctness (L3): validity proofs, attestation or challenge games are out of scope for v0.
- Key lifecycle and revocation for encrypted context, once a production encryption provider is chosen.