Starknet Fundamentals

​El viernes 18 de agosto a partir de las 16 hs en Palermo, daremos un ciclo de 4 charlas (con una duración aproximada de 30 minutos cada una) en las que hablaremos sobre “Starknet Fundamentals”. Luego, a partir de las 19.30, ¡cerraremos el día con un asado!

• ​LambdaClass Starknet Stack

​Ignacio Amigo, Leandro Ferrigno y Esteban Dimitroff repasarán el trabajo que viene realizando LambdaClass en diferentes partes del ecosistema Starknet, que esta en desarrollo, que ya esta en mainnet desde la version 0.12 "More TPS Daddy". Ademas explicaremos cómo funciona el Starknet Stack, herramienta que desarrollamos que integra cada una de estas partes, su estado actual y los próximos pasos.

• ​Starknet in Rust

​Starknet in Rust es el execution engine de Starknet construido de manera open source en Rust por el equipo de LambdaClass. De la mano de Juan Bono (tech lead detrás del desarrollo) exploraremos con más detalle qué es Starknet in Rust.

• ​Cairo Vms

​Cairo es un lenguaje de programación inspirado en Rust que permite escribir programas y smart contracts para Starknet de manera segura. Pedro Fontana explicará que implica construir una maquina virtual capaz de ejecutar código Cairo de manera performante.

• ​Computación verificable: Stark Platinum prover

​Diego Kingston hablará sobre el desarrollo de una librería que permite probar la integridad de la corrida de un programa realizada por un tercero no confiable. La propiedad crucial es que la verificación de la prueba es muchísimo más rápida que volver a correr el programa de manera independiente. Esto abre la puerta a numerosas aplicaciones como el escalamiento de blockchains, seguridad en redes de energía descentralizadas y Machine Learning.