Opinião: Provas de conhecimento zero não são a solução certa para DeFi

Autor: DARREN KLEINE, blockworks Compilador: Shan Ouba, Golden Finance

Muitas equipes estão trabalhando para alcançar DeFi de conhecimento zero, mas todas estão lidando com a mesma lógica básica.

Em um recente podcast da Lightspeed, Kyle Samani, da Multicoin Capital, expressou sua confiança de que as provas de conhecimento zero não são a solução certa para questões de privacidade em DeFi. Ele acredita que as provas de conhecimento zero têm seus usos em outros campos, mas podem não ser aplicáveis em DeFi. **

Provas de conhecimento zero podem ser usadas para provar a idade de alguém para comprar álcool sem revelar outros detalhes pessoais. Este é um cenário de aplicação eficaz para provas de conhecimento zero, que podem preservar a privacidade e provar certos fatos.

No entanto, se o objetivo do DeFi for a privacidade, as provas de conhecimento zero não são uma solução adequada. No DeFi, o conceito de "estado compartilhado" precisa ser considerado, ou seja, ao realizar transações financeiras, são realizadas operações matemáticas entre vários participantes e transações de conhecimento zero são cometidas. O conceito de estado global não existe em DeFi, o que torna impossível raciocinar sobre o estado global, tornando ineficazes as provas de conhecimento zero em DeFi.

Kyle Samani deu um exemplo para ilustrar este ponto: No DeFi, existem pools de parceiros limitados e ordens limitadas, e as transações e interações ocorrerão entre pessoas diferentes. Como não há conceito de estado global, é impossível raciocinar sobre o estado de todo o sistema. Portanto, ele acredita que as provas de conhecimento zero não são adequadas para resolver problemas de privacidade em DeFi. No DeFi, é necessária uma solução que possa lidar com raciocínio de estado compartilhado e estado global, e a prova de conhecimento zero não pode fornecer tal função.

Raciocínio de cima para baixo

Em seu argumento para explicar a inaplicabilidade das provas de conhecimento zero (ZK) em DeFi, Kyle Samani apresentou uma premissa básica usando zcash (ZEC) como exemplo. Com zcash, a prova de qualquer transação mostra que uma série de saídas de transação não gastas (UTXOs) foram enviadas para uma série de "blobs criptografados" de endereços privados.

Como exemplo, ele disse: "O número total de UTXOs que recebi é menor do que o número de UTXOs que enviei, incluindo a transação atual". zero, mas não pode fornecer detalhes mais específicos.

Embora a circulação de zcash teoricamente nunca possa exceder 21 milhões porque tem as mesmas restrições de fornecimento de um fork de bitcoin, devido ao seu design baseado em privacidade, o fornecimento não pode ser auditado. Isso também significa que o sistema não pode ser auditado de cima para baixo para determinar se a oferta total de zcash ainda está fixada em 21 milhões. Na verdade, houve um bug potencialmente catastrófico com zcash que foi relatado e corrigido em 2019.

Kyle Samani vinculou o incidente às tentativas de implementar soluções de conhecimento zero no DeFi, enfatizando que o DeFi não pode atingir seus objetivos sem ser capaz de raciocinar sobre o sistema de cima para baixo. Ele disse que quando todos enviam um monte de provas privadas para a rede, conceitos como gerenciamento de garantias e solvência em DeFi não funcionam mais. O DeFi precisa de uma perspectiva de cima para baixo para funcionar, não apenas um monte de transações ZK criptografadas.

Enquanto muitas equipes estão trabalhando duro para implementar um SDK de conhecimento zero, ele acha que ainda estão lidando com um problema de lógica muito básico. Ele sugeriu que a maneira adequada de obter privacidade no DeFi é por meio da criptografia totalmente homomórfica (FHE). Ao criptografar contratos de ponta a ponta e aplicar transições de estado por verificadores, a lógica central do sistema pode ser preservada, que é o caminho certo para resolver o problema de privacidade.

Em resumo, Kyle Samani destacou por que as provas de conhecimento zero não são adequadas em DeFi e propôs a maneira correta de obter privacidade por meio de criptografia totalmente homomórfica. Ele acredita que o DeFi precisa de uma perspectiva de cima para baixo para melhor realizar seu potencial.