ZK-STARKs são o fim do jogo para blockchains - Isso está claro agora. O que vem a seguir? Minha aposta está na linguagem de contrato inteligente compatível com ZK