Auditing Cairo 1.0 Contracts

Extropy.IO
2 min readJun 19, 2023

A challenge we face when there has been a major upgrade or change to a language or protocol is to bootstrap the experience necessary to audit code in the new language.

Although Cairo 1 is substantially different to Cairo 0, the problem is not as daunting as it might first appear, and we can do more than point out good practices and wait for vulnerabilities to come to light by being exploited.

This article will therefore suggest an approach that can be used now when auditing Cairo 1 contracts.

--

--

Extropy.IO

Oxford-based blockchain and zero knowledge consultancy and auditing firm