Here's a quick and highly technical explanation of how the Cairo zkVM (https://eprint.iacr.org/2021/1063) encodes its memory in the AIR (arithmetization) of the STARK.
If you didn't get any of these keywords, probably not a good idea to watch that video :D
