Hearing a lot about zero knowledge proofs? Intrigued as to what a high performing provable programming language might look like? Come and learn all about Cairo in this workshop, how to write smart contracts that are eventually used to create STARK Proofs for Starknet.