Skip to content
Move: an auditor’s introduction
osec.io | blog | #smart-contracts | #blockchain | #formal-verification | #move | #aptos | #type-system
Summary
OtterSec's auditor-focused introduction to Move: how its type system and resource model enable safer programming, anti-patterns to avoid, and design tips for safer protocols.
- Published
- Collected