Vamos falar sobre um superpoder da Starknet: Sierra. Quando você constrói uma blockchain baseada em ZK, com uma VM baseada em ZK para computação geral (como o Cairo é para a Starknet), você enfrenta um problema: como fazer a VM ser segura para blockchain *e* amigável para ZK? A questão é de não-determinismo. Vou explicar: ZkVMs ficam muito mais eficientes se o sequenciador/provador puder "adivinhar" certas entradas e magicamente preenchê-las. O problema é que isso abre espaço para vários ataques: um usuário malicioso pode enviar um tx que não pode ser facilmente adivinhado, e um sequenciador/provador malicioso pode decidir não adivinhar o valor correto, para 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 alguns sequenciadores a incluir boas transações. - Uma terceira opção é construir uma representação intermediária segura (chamamos de: Sierra). Sierra permite exatamente o tipo certo de não-determinismo, de uma forma que todas as suposições podem ser preenchidas. Ao longo do caminho, ter essa ferramenta permite resolver outras coisas interessantes, como adicionar medição de gás como parte do processo de compilação. Resumo: Sob o capô do Cairo, a melhor Linguagem de Contratos Inteligentes, existe uma joia, um superpoder, que permite a operação segura e eficiente do ZK baseado em blockchain. Só na Starknet, tecnologia futura hoje.