- Vitalik Buterin diz que ZK-SNARKs eliminam os desequilíbrios passados, permitindo verificação forte da cadeia sem a reexecução completa das transações.
- Falhas no mundo real, censura e concentração de validadores fizeram com que Buterin valorizasse a verificação direta pelo usuário como um plano de segurança.
- Ele agora vê a verificação soberana como um seguro de resiliência, não um ideal de "homem das montanhas", fortalecendo o poder de negociação do usuário.
Fundador co-fundador do Ethereum Vitalik Buterin tem publicamente revisado uma visão antiga da blockchain, abordando-a em uma postagem recente. Ele explicou por que a criptografia aprimorada, falhas no mundo real e riscos ao usuário mudaram seu pensamento sobre verificação de blockchain e soberania própria.
Debate de 2017 Definiu a Divergência Original
Em 2017, Buterin debatia com Ian Grigg sobre como as blockchains deveriam registrar informações. Grigg argumentava que as blockchains deveriam preservar a ordem das transações, não o estado explícito como saldos ou armazenamento de contratos.
No entanto, Buterin se opôs a esse design porque os usuários precisariam de processamento histórico completo ou confiança em terceiros. De acordo com Buterin, Ethereum's compromissos de state-root permitem verificação direta de estado usando provas Merkle.
Notavelmente, este modelo depende de uma maioria honesta entre os participantes do consenso. Na época, Buterin via a verificação pessoal completa como impraticável e desnecessária para usuários comuns. Ele a descreveu como um "fantasma de montanha" em um post anterior.
ZK-SNARKs Alteraram os Compromissos Técnicos
No entanto, Buterin agora cita ZK-SNARKs como a mudança técnica decisiva. Ele explicou que as provas de conhecimento zero permitem a verificação da correção da cadeia sem reexecutar todas as transações. Consequentemente, os usuários podem obter garantias fortes sem computação massiva.
De acordo com Buterin, isso remove o dilema anterior entre custo e segurança. Ele comparou a inovação à eliminação de uma restrição importante em debates anteriores sobre escalabilidade da blockchain. Portanto, compromissos anteriores merecem uma nova avaliação à medida que a tecnologia melhora.
Fraquezas do Mundo Real Moldaram Sua Perspectiva
Além da tecnologia, Buterin enfatizou a fragilidade do mundo real. Ele listou interrupções na rede, latência extrema, encerramento de serviços, concentração de validadores e censura de aplicações. Notavelmente, ele se referiu Tornado Cash como um exemplo onde intermediários restringiram o acesso.
Nesses casos, a interação direta entre as cadeias torna-se a única opção. Buterin argumentou que depender dos desenvolvedores durante crises cria riscos de centralização. Em vez disso, ele redefiniu a "cabana do homem das montanhas" como uma alternativa de recuo, não um estilo de vida. Segundo Buterin, manter essa opção fortalece o poder dos usuários e a resiliência do sistema.