Do 0 ao ZK Concept Bites #6: O Problema da Redundância Na última vez, abordámos a concisão, como as provas ZK comprimem enormes computações em pacotes pequenos e baratos de verificar. Desta vez, vamos ver por que essa propriedade é importante no nível mais fundamental de como as blockchains realmente funcionam. Cada vez que um novo bloco Ethereum é produzido, centenas de milhares de validadores re-executam independentemente cada transação nele. As mesmas adições, as mesmas transferências, a mesma lógica de contrato inteligente, tudo repetido em toda a rede. É assim que o Ethereum mantém a 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 computação de um único bloco é multiplicado centenas de milhares de vezes. Funciona, e é seguro, mas é a razão principal pela qual as blockchains continuam lentas e caras. A rede nunca pode ultrapassar uma única máquina porque cada máquina está a executar a mesma carga de trabalho. 🔁 As provas ZK oferecem um modelo fundamentalmente diferente: uma parte realiza a computação e gera uma prova de que o trabalho foi feito corretamente, e cada 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 a computação original foi. A arquitetura muda de "todos fazem tudo" para "computar uma vez, verificar em todo o lado." 🔑 Mas para que este modelo se torne realidade na camada base do Ethereum, uma peça crítica precisa estar em vigor: o lado da prova tem que ser rápido o suficiente para acompanhar a produção de blocos ao vivo, e acessível o suficiente para que não exija um investimento massivo em hardware para operar. Se a prova levar horas ou custar milhões em infraestrutura, o modelo permanece teórico. É aqui que o Pico Prism entra. ⚡ Recentemente, anunciámos que o Pico Prism agora alcança 99% de prova de bloco Ethereum em tempo real com apenas 16 GPUs em duas máquinas, com uma média de 6,91 segundos por bloco. Custo total de hardware: ~$100K, exatamente na meta da Ethereum Foundation. Há alguns meses, os mesmos resultados exigiam 64 GPUs e $128K apenas em custos de GPU. Essa redução traz o lado da prova da equação para um alcance prático. À medida que a prova mantém fiavelmente o ritmo com o tempo de bloco de 12 segundos do Ethereum em hardware acessível, o caminho para integrar a verificação baseada em prova a nível de protocolo torna-se concreto. E quando isso acontecer, centenas de milhares de validadores passarão de re-executar redundante cada bloco para simplesmente verificar uma pequena prova, mudando fundamentalmente como o Ethereum escala. 🧱 ...