How we started implementing a VM for the Cairo language

Nos juntamos en las oficinas de LambdaClass para contarles como estamos armando una VM en Rust para el lenguaje Cairo.

Cairo es un lenguaje de programación para escribir programas comprobables, donde un agente puede probar a otra que cierto cálculo se ejecutó correctamente. Se pueden usar Cairo y sistemas de prueba similares para proporcionar escalabilidad a las blockchains.

Traigan buzo y campera que va a hacer frio!

Vamos a intentar pasar la charla por: https://meet.google.com/ukg-vsdt-tqa

1. https://github.com/lambdaclass/cleopatra_cairo
2. https://www.cairo-lang.org/docs/
3. https://vitalik.ca/general/2017/11/09/starks_part_1.html
4. https://crypto.stackexchange.com/questions/56327/what-are-zk-starks