#move

3 posts tagged with move.

Hitchhiker’s guide to Aptos fungible assets

We take a deep dive into Aptos’ implementation of fungible assets, exploring the intricacies hidden within its functions, objects, and interactions. While the Fungible Asset model was designed to address the limitations and security flaws of the legacy Coin standard, it also introduced new challenges and vulnerabilities that developers should be aware of.
Bartłomiej Wierzbiński

The Move Prover: a guide

A practical guide to the Move Prover — tutorial, case study, and specifications.
Robert Chen

Move: an auditor’s introduction

What actually makes Move secure? A discussion of Move’s typing system and formal verification.
Robert Chen