Hablemos de un superpoder de Starknet: Sierra. Cuando construyes una blockchain basada en ZK, con una VM basada en ZK para computación general (como Cairo para Starknet), te enfrentarás a un problema: ¿Cómo haces que la VM sea segura para blockchain *y* compatible con ZK? El problema es de no determinismo. Lo explicaré: Las zkVMs se vuelven mucho más eficientes si el secuenciador/prover puede "adivinar" ciertas entradas y rellenarlas mágicamente. El problema es que esto abre espacio para varios ataques: un usuario malicioso puede enviar un mensaje que no se puede adivinar fácilmente, y un secuenciador/probador malicioso puede decidir no adivinar el valor correcto para perjudicar a un usuario. ¿Cuál es la solución? - Una opción es eliminar el no determinismo. Pero esto perjudica la eficiencia. - Otra opción es usar métodos de teoría de juegos para permitir que otros secuenciadores castiguen a los atacantes mientras incentivan a algunos secuenciadores a incluir buenas transacciones. - Una tercera opción es construir una representación intermedia segura (la llamamos: Sierra). Sierra permite el tipo justo de no determinismo, de una manera que todas las conjeturas pueden completarse. A lo largo de la relación, contar con esta herramienta permite resolver otras cosas interesantes, como añadir la medición de gases como parte del proceso de compilación. Resumen: Bajo el capó de El Cairo, el mejor lenguaje de contratos inteligentes, hay una joya, un superpoder, que permite ejecutar ZK basado en blockchain, de forma segura y eficiente. Solo en Starknet, tecnología futura hoy en día.