1 unstable release
Uses new Rust 2024
| 0.1.0 | Jan 27, 2026 |
|---|
#12 in #suite
3KB
ALLOT
High-assurance resource portioning and scoped memory allotment.
This crate provides primitives for the formal allotment of storage and
system resources within a defined scope. It ensures that every byte
utilized by the "Honest" suite is explicitly assigned, tracked, and
reclaimed according to deterministic lifetime policies.
Core Security Principles
- Proportionality: Resources are allotted only in the exact quantity required.
- Temporal Bounds: Allotments are strictly tied to
scopelifetimes. - Exclusivity: Prevents overlapping allotments to maintain memory integrity.
- Sanitization: Integrated with
classifiedto ensure allotted space is scrubbed upon reclamation.