Cairo 1.x storage schema change and unresolved rollback safety
Cairo 1.x storage schema change and unresolved rollback safety The goal is to determine whether contract storage can be safely rolled back to a previous layout after a storage schema change in Cairo 1.x. Sierra compilation enforces memory safety and bounded computation, but it does not define database-style schema migration or transactional rollback of contr