A Foresight News publicou no X (antigo Twitter). Vitalik Buterin discutiu a proteção de privacidade e como sistemas de blockchain verificam o cálculo. Ele disse que a validação tradicional exige que os nós executem transações independentemente e comparem resultados, o que permite a verificação, mas duplica o trabalho e limita a quantidade de computação que uma rede consegue processar.

Buterin descreveu uma alternativa na qual a parte que executa o cálculo gera uma prova criptográfica após concluir o trabalho, e outros participantes verificam essa prova para confirmar que o cálculo seguiu as regras. Ele disse que sistemas de provas como SNARKs e STARKs podem tornar a verificação mais eficiente do que reexecutar cálculos complexos. Quando esses sistemas também têm propriedades de zero conhecimento, eles podem confirmar que um resultado é válido enquanto ocultam informações de entrada que não precisam ser divulgadas.

Ele disse que existem dois objetivos relacionados, mas diferentes: reduzir a computação repetida e proteger a privacidade. Usar provas para dimensionar um sistema não torna automaticamente as transações privadas, e a privacidade ainda exige design de aplicações e de protocolos.

Buterin também mencionou criptografia totalmente homomórfica, ou FHE, que permite que uma parte computacional processe dados criptografados sem antes descriptografá-los. Ele disse que a tecnologia oferece uma forma de permitir que outras pessoas realizem computações sem receber os dados originais.

Ele acrescentou que essas ferramentas ampliam o espaço de design para aplicações ao dar aos desenvolvedores mais flexibilidade sobre onde a computação acontece, como os resultados são verificados e quem pode ver informações específicas.