# StarkWare 🛠️ Explore the world of provable programming through Cairo 1.0 - Gnana Lakshmi

- Speakers: [Gnana Lakshmi](https://streameth.org/speakers/gnana-lakshmi)
- Channel: [ETHGlobal](https://streameth.org/ethglobal)
- Date: 2023-10-07
- Duration: 30:34
- Watch: https://streameth.org/watch/yt-5IhLTXaw3uo
- YouTube: https://www.youtube.com/watch?v=5IhLTXaw3uo

## Description

Join Gnana Lakshmi from StarkWare for a workshop titled "Explore the world of provable programming through Cairo 1.0 ".

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.

Thank you to everyone who joined us for ETHGlobal Paris 2023! 

Paris is the city of light and birthplace of many revolutions. Therefore we were thrilled to be back in one of the most buzzing and free-spirited cities in Europe for ETHGlobal Paris 2023. A lot has changed in the European ecosystem since the last time we hosted a hackathon in 2019.

-----------------

Follow us: https://twitter.com/ETHGlobal​
Check us out: https://ethglobal.co​m
Email us at: hello@ethglobal.com