---
id: 5689
title: "Move: an auditor’s introduction"
source_domain: osec.io
source_url: "https://osec.io/blog/move-introduction/"
published_at: "2022-09-06T00:00:00Z"
tags: ["smart-contracts", "blockchain", "formal-verification", "move", "aptos", "type-system"]
phying_url: "https://phying.com/item/5689"
lang: en
---

# Move: an auditor’s introduction

## 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.

## Intelligence Metadata

- **Sources:** osec.io
- **Published:** 2022-09-06T00:00:00Z
- **Original:** https://osec.io/blog/move-introduction/
- **Phying News:** https://phying.com/item/5689