Managing Integer Bounds with Cairo Range Checks
Cairo range checks prevent silent overflows by constraining field elements to specific bit-widths. Learn how to use fixed-size types to enforce bounds and verify them in Sierra.
Loading…
ReadMeFeed / Community knowledge
#sierra
Real questions. Useful conversations. Find the people who know your stack.
cairoCairo 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