Vamos falar sobre um superpoder do Starknet: Sierra. Quando você constrói uma blockchain baseada em ZK, com uma VM baseada em ZK para computação geral (como Cairo é para Starknet), você enfrentará um problema: Como fazer com que a VM seja segura para blockchain *e* amigável para ZK? O problema é um de não-determinismo. Vou explicar: zkVMs se tornam muito mais eficientes se o sequenciador/provedor puder "adivinhar" certas entradas e preenchê-las magicamente. O problema é que isso abre espaço para vários ataques: Um usuário malicioso pode enviar uma tx que não pode ser facilmente adivinhada, e um sequenciador/provedor malicioso pode decidir não adivinhar o valor correto, a fim de prejudicar um usuário. Qual é a solução? - Uma opção é remover o não-determinismo. Mas isso prejudica a eficiência. - Outra opção é usar métodos de teoria dos jogos para permitir que outros sequenciadores punam atacantes enquanto incentivam algum sequenciador a incluir boas transações. - Uma terceira opção é construir uma representação intermediária segura (a que chamamos: Sierra). Sierra permite o tipo certo de não-determinismo, de uma forma que todas as adivinhações podem ser preenchidas. Ao longo do caminho, ter essa ferramenta permite resolver outras coisas legais, como adicionar medição de gás como parte do processo de compilação. Resumo: Por trás do Cairo, a melhor Linguagem de Contrato Inteligente, há uma joia, um superpoder, que permite que ZK baseado em blockchain seguro e eficiente seja executado. Somente no Starknet, tecnologia do futuro hoje.