De 0 a ZK Conceito Bites #6: O Problema da Redundância Da última vez, abordamos a concisão, como as provas ZK comprimem cálculos massivos em pacotes pequenos e baratos de verificar. Desta vez, vamos analisar por que essa propriedade importa no nível mais fundamental de como as blockchains realmente funcionam. Cada vez que um novo bloco Ethereum é produzido, centenas de milhares de validadores reexecutam independentemente cada transação nele. As mesmas adições, as mesmas transferências, a mesma lógica de smart contract, tudo repetido em toda a rede. É assim que o Ethereum mantém a falta de confiança: se todos chegam ao mesmo resultado de forma independente, ninguém precisa confiar em mais ninguém. O custo dessa garantia é enorme. O valor de um único bloco de cálculo é multiplicado centenas de milhares de vezes. Funciona, é seguro, mas é a principal razão pela qual as blockchains continuam lentas e caras. A rede nunca consegue superar uma única máquina porque todas as máquinas estão rodando a mesma carga de trabalho. 🔁 As provas ZK oferecem um modelo fundamentalmente diferente: uma parte realiza o cálculo e gera uma prova de que o trabalho foi feito corretamente, e todo validador na rede simplesmente verifica essa prova em vez de refazer o trabalho. Graças à concisão, essa verificação é trivialmente barata, independentemente de quão complexa tenha sido a computação original. A arquitetura muda de "todo mundo faz tudo" para "calcule uma vez, verifique em todos os lugares". 🔑 Mas para que esse modelo se torne realidade na camada base do Ethereum, uma peça crítica precisa estar no lugar: o lado de provas precisa ser rápido o suficiente para acompanhar a produção de blocos em funcionamento, e acessível o bastante para não exigir um investimento massivo de hardware para operar. Se a demonstração leva horas ou custa milhões em infraestrutura, o modelo permanece teórico. É aí que entra o Pico Prism. ⚡ Recentemente, anunciamos que o Pico Prism agora alcança 99% de prova em tempo real de blocos Ethereum com apenas 16 GPUs em duas máquinas, com média de 6,91 segundos por bloco. Custo total do hardware: ~$100 mil, bem na meta da Ethereum Foundation. Alguns meses atrás, os mesmos resultados exigiram 64 GPUs e $128 mil em custos de GPU apenas. Essa redução traz o lado provador da equação ao alcance prático. À medida que a prova acompanha de forma confiável o tempo de bloco de 12 segundos do Ethereum em hardware acessível, o caminho para integrar a verificação baseada em provas no nível do protocolo torna-se concreto. E quando isso acontece, centenas de milhares de validadores passam de reexecutar redundantemente cada bloco para simplesmente verificar uma pequena prova, mudando fundamentalmente como o Ethereum escala. 🧱 ...