This article is first part of the series of articles, where we are trying to demystify Cairo White Paper in simple and easy to understand terminology. Cairo is an architecture that allows describing the computation in the form of a computer program and then generating a proof of integrity for that computation.