#tutorial

6 posts tagged with tutorial.

Cosmos security: an otter’s guide

From infinite loops and map determinism to AnteHandler missteps and storage key collisions, we highlight real-world vulnerabilities and actionable advice for building safer Cosmos-based projects. James Wang

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

Rust, realloc, and references

Rust is safe… right? Not if your dependencies are unsafe… A deep dive into a subtle Solana SDK bug, Rust internals, and how we found it all. Ethan Wu

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

Solana: an auditor’s introduction

A security-focused introduction to Solana, exploring the underlying runtime environment, security boundaries, and implications. An important resource for all developers who want to write more secure code. OtterSec