Buterin Propõe Revolução: Provas de Conhecimento Zero Podem Redesenhar Algoritmos Sociais

Vitalik Buterin, o cofundador da Ethereum, apontou para uma nova fronteira: aplicar provas de conhecimento zero (ZKPs) aos algoritmos que moldam nossas redes sociais. A ideia não é apenas técnica—é uma proposta para devolver a soberania aos usuários.
O Problema da Caixa-Preta Algorítmica
Hoje, plataformas como o X (antigo Twitter) ou o Facebook operam com lógicas opacas. O feed é decidido por um sistema que ninguém fora da empresa consegue auditar completamente. Buterin vê nas ZKPs uma ferramenta para provar que um algoritmo seguiu certas regras—como neutralidade ou limites de visibilidade—sem revelar o próprio código-fonte secreto. É transparência sem expor o segredo comercial.
Privacidade vs. Accountability na Rede
A magia está no 'conhecimento zero'. Uma plataforma poderia provar que seu sistema de recomendação não favoreceu um partido político específico, ou que cumpriu regras de moderação de conteúdo, tudo sem mostrar os dados brutos dos usuários ou a receita exata do algoritmo. Resolve o dilema entre proteger a privacidade individual e exigir responsabilidade das Big Techs.
Um Futuro de Redes Verificáveis
Imagine poder ver um selo criptográfico ao lado do seu feed: "Verificado: este algoritmo não manipulou seu timeline para gerar engajamento tóxico". Soa utópico? Talvez. A implementação seria um pesadelo de complexidade e custo computacional—algo que os acionistas dessas empresas adorariam justificar como 'não escalável', claro, enquanto lucram com o caos atual.
A proposta de Buterin corta direto ao cerne da desconfiança digital. Não se trata de regular pela força, mas de permitir verificação pela criptografia. Se pegar, pode ser o fim da era em que aceitamos o que o algoritmo nos serve, sem direito a perguntas. Ou, no mínimo, vai gerar um belo novo token—afinal, é a cripto, sempre há um ângulo financeiro.
Provas de conhecimento zero como ferramenta para responsabilização de algoritmos
Segundo a proposta de Buterin, as plataformas produziriam provas criptográficas de que os resultados algorítmicos estão alinhados com os objetivos predefinidos. Ele propôs que o horário de criação do conteúdo e o registro de data e hora da interação fossem registrados usando blockchain para minimizar o risco de censura, supressão ou manipulação retroativa do conteúdo.
Eu iria além. Provaria com ZK cada decisão tomada pelo algoritmo (idealmente com conteúdo e curtidas/RTs com timestamp on-chain para que o servidor não possa censurar ou manipular o tempo) e me comprometeria a publicar o código completo do algoritmo com um atraso de 1 a 2 anos.
— vitalik.eth (@VitalikButerin) 15 de dezembro de 2025
Para atenuar as preocupações com a propriedade intelectual e a segurança do sistema, Buterin sugeriu que o código completo do algoritmo não fosse divulgado imediatamente, mas sim após um período de espera de um a dois anos.
A discussão ganhou atenção após os comentários de Buterin sobre o que ele chamou de ataques coordenados contra a Europa em plataformas de mídia social, em declarações públicas. Em trocas de mensagens subsequentes, ele alertou que permitir que uma plataforma se torne um símbolo da liberdade de expressão mundial, ao mesmo tempo que a abre para assédio coordenado em larga escala, poderia resultar em uma reação negativa de longo prazo contra o debate aberto.
O debate mais amplo também trouxe à tona preocupações sobre a amplificação automatizada. Os participantes observaram o potencial das redes de bots impulsionadas por IA para gerar grandes volumes de engajamento sintético, sugerindo que "mais discurso" muitas vezes é insuficiente para combater narrativas prejudiciais.
Combinando provas ZK com outros sistemas criptográficos
Além dos algoritmos sociais, Buterin propôs a aplicação de provas de conhecimento zero em outros algoritmos criptográficos, como computação multipartidária (MPC), criptografia totalmente homomórfica (FHE) e ambientes de execução confiáveis (TEE).
Dentre essas aplicações, ele destacou os sistemas de votação, onde a coerção e a proteção da privacidade são fundamentais para a segurança dos participantes na governança baseada em blockchain. Para garantir a segurança das pessoas que tomam as decisões, as comunidades blockchain já estudaram os modelos de votação baseados em ZK (Chave Zero) , e eles estão se tornando cada vez mais populares entre aqueles interessados em sistemas que priorizam a privacidade. Espera-se que essa arquitetura em camadas reduza os riscos que seriam enfrentados se as ferramentas criptográficas fossem implementadas isoladamente.
Adoção, progresso técnico e riscos contínuos
A adoção da tecnologia de conhecimento zero (ZK) tem sido enorme. Em 2025, o valor total bloqueado em protocolos baseados em ZK ultrapassava US$ 28 bilhões. Os rollups de ZK também foram utilizados por grandes instituições, como Goldman Sachs, Sony e Deutsche Bank, para proteger transações, verificar NFTs e em operações relacionadas à conformidade.
Mais de 100 bilhões de dólares em transações usando stablecoins estão sendo realizadas atualmente em rollups de ZK, com uma grande parte representada pelas stablecoins USDT e USDC.
Tecnicamente, o conjunto de protocolos escrito por Buterin, conhecido como códigos de protocolo GKR, tornou a verificação de cálculos complexos mais eficiente, permitindo que nós completos sejam executados por usuários comuns usando hardware padrão.
Se você está lendo isso, já está na frente. Acompanhe nossa newsletter .