Estive analisando alguns dos últimos desenvolvimentos do @Starknet e o SNIP-36 chamou minha atenção. Ele é chamado de In Protocol Proof Verification, e a última atualização v0.14.4 torna ainda mais interessante. Mas, primeiro, o que exatamente o SNIP-36 faz? Pense em aplicações que precisam realizar cálculos intensivos. Fazer todo esse trabalho diretamente na cadeia pode ser caro e exigir muitos recursos. O SNIP-36 introduz uma abordagem alternativa. As aplicações podem executar lógica adequada fora da cadeia, gerar uma prova STARK dessa execução e enviar a prova ao Starknet para verificação. Aqui está como o processo funciona: - A aplicação executa sua lógica fora da cadeia em relação a um estado específico do Starknet. - O provador S Two gera uma prova mostrando que a execução foi válida. - A aplicação envia a prova juntamente com dados chamados proof_facts. - O consenso do Starknet verifica a prova, e o contrato da aplicação pode usar o resultado verificado para realizar as alterações de estado necessárias. Em termos simples, o cálculo ocorre fora da cadeia, mas sua correção ainda pode ser verificada no Starknet. Agora, aqui está o que torna a última atualização interessante. Com o Starknet v0.14.4, o SNIP-36 se expande além de pequenas transações virtuais para suportar a prova de cálculos muito maiores, de tamanho de bloco. Sob as condições especificadas, uma única transação provada pode conter até 1,1 bilhão de gás L2 em computação. Isso significa que as aplicações podem potencialmente lidar com cargas de trabalho que seriam muito grandes para uma transação regular, provando a execução em vez de pagar por ela como execução normal na cadeia. Então, por que isso importa? 1. ZKThreads e escalonamento de aplicações As aplicações podem mover mais de sua execução para fora da cadeia e trazer resultados verificados de volta ao Starknet. Isso abre possibilidades para escalonamento específico de aplicações por meio de ZKThreads. 2. Aplicações focadas em privacidade O SNIP-36 também pode suportar aplicações que utilizam entradas privadas, revelando apenas os resultados públicos necessários. A implementação atual oferece privacidade computacional, mas não deve ser confundida com garantias completas de privacidade matemática zero knowledge. 3. Mais flexibilidade para desenvolvedores Desenvolvedores têm mais espaço para construir aplicações que exigem cálculos complexos sem obrigar cada parte dessa carga de trabalho a passar pela execução normal na cadeia. Uma coisa que acho interessante sobre o Starknet é que ele não se concentra apenas em processar mais transações. Também está tornando mais fácil para as aplicações lidarem com cálculos complexos sem empurrar toda a carga de trabalho para a cadeia. É aí que o SNIP-36 se torna interessante. Mais computação com resultados verificáveis significa mais possibilidades para construtores no Starknet. Ainda no início, mas definitivamente algo que vale a pena acompanhar.