Something went wrong. Try again.
Typelevel cryptographic algo tracking crates.io/crates/evidence
typelevel cryptography util
Something went wrong. Try again.
README.md
Evidence Design #
Design documentation for the evidence crate. These documents explain the why behind the library's architecture, not just the what of the API.
Documents #
| Document | Summary |
|---|---|
| Type-Level Evidence | Core philosophy: phantom types as cryptographic proof tokens |
| Type-State | The Signed to Verified flow and payload inaccessibility |
| Verified Envelope | Why Verified retains the original Signed envelope |
| Codecs | Serialization as a type parameter: Encode, Decode, Canonical, Relaxed |
| Escape Hatches | The *Unchecked extension trait pattern for bypassing guarantees |
| Security Model | What evidence guarantees at compile time and what it does not |
no_std |
Patterns and constraints for #![no_std] + alloc compatibility |
Reading Order #
For newcomers, we recommend:
- Type-Level Evidence for the foundational idea
- Type-State for the signature verification flow
- Codecs for how serialization fits in
- Escape Hatches for the pragmatic escape valves
- The rest as needed