Explicit Storage Access in Cairo 1.x Makes State Mutations Auditable
Cairo 1.x makes state mutations auditable by declaring storage with #[storage] and forcing explicit self.storage.field.read() and .write() calls. This declarative model improves reviewability, serialization safety, and interface clarity.
cairo