- Vitalik Buterin reverteu sua visão de 2017 sobre a verificação completa do usuário.
- Os ZK-SNARKs agora permitem verificações completas de correção da cadeia sem repetir todas as transações.
- Buterin disse que falhas como censura, interrupções e concentração de validadores mudaram sua opinião.
O cofundador do Ethereum, Vitalik Buterin, disse que não concorda mais com uma postagem de 9 de junho de 2017, na qual descartava a ideia de usuários comuns verificarem toda a história do blockchain.
Esse comentário surgiu durante um debate sobre se as blockchains deveriam armazenar apenas a ordem de transação ou também comprometer o estado completo do sistema, como saldos e dados de contratos inteligentes.
Na época, Buterin se opunha a projetos em que os usuários só pudessem reconstruir o estado reproduzindo cada transação ou confiando em terceiros.
O Ethereum optou por comprometer raízes de estado diretamente em cabeçalhos de bloco, o que permite que qualquer usuário prove um valor de saldo ou contrato por meio de uma prova Merkle. Esse design depende de uma maioria honesta de validadores, não de um único provedor de serviço.
Buterin disse que o modelo sempre foi melhor do que confiar em um único endpoint RPC, mas ainda assim não ofereceu aos usuários um verdadeiro recurso de remédio quando os sistemas quebram.
As provas ZK mudam a equação de custo
A principal mudança veio das provas de conhecimento zero. Segundo Buterin, os ZK-SNARKs agora permitem que os usuários verifiquem a correção da cadeia sem precisar reexecutar todas as transações desde o gênesim. Isso elimina o antigo tradeoff entre confiança e custo de computação.
Em termos simples, os usuários agora podem verificar se o estado completo da cadeia está correto usando provas compactas em vez de execução bruta. Isso torna a verificação completa prática novamente, sem forçar tamanhos de bloco tão pequenos que a rede se torne inutilizável.
Buterin descreveu isso como uma resposta direta aos debates das guerras de tamanho de blocos, com limites restantes ligados principalmente à largura de banda de dados e à centralização da produção de blocos.
Com essa ferramenta disponível, ele disse, compromissos de design feitos em anos anteriores não são mais válidos.
Modos de falha importam mais do que a teoria
Buterin também disse que seu pensamento mudou devido a falhas no mundo real, como falhas P2P, picos de latência, desligamentos de provedores de serviço e concentração de conjuntos de validadores. Ele acrescentou que a censura aparece, como visto durante as restrições do Tornado Cash.
Nesses casos, dizer aos usuários para confiarem nos desenvolvedores torna-se uma forma de controle central. Quando a única solução exige trabalho técnico profundo, muitos usuários perdem acesso aos fundos ou saem completamente do sistema.
Buterin disse que blockchains destinadas a durar décadas devem oferecer uma opção de último recurso, onde os usuários possam operar de forma independente caso tudo o resto falhe. Ele descreveu a verificação completa como uma cabine de segurança, não como um estilo de vida diário. Seu valor vem de estar sempre disponível.
O fato de que os usuários podem recorrer a ela também força intermediários a se comportarem melhor, de forma semelhante a como o BitTorrent mantém pressão sobre as plataformas de mídia.
Relacionado: Vitalik Buterin defende mudança para ferramentas focadas em privacidade após críticas da comunidade
Disclaimer: The information presented in this article is for informational and educational purposes only. The article does not constitute financial advice or advice of any kind. Coin Edition is not responsible for any losses incurred as a result of the utilization of content, products, or services mentioned. Readers are advised to exercise caution before taking any action related to the company.
