Como as CEXs podem adotar práticas seguras? Co-fundador do Ethereum compartilha insights

O colapso da FTX levantou questões significativas sobre a credibilidade das exchanges centralizadas de criptomoedas (CEX). A FTX foi, de fato, uma das exchanges mais populares no espaço cripto, e seu colapso deixou uma marca dolorosa em todo o mercado de criptomoedas.

Toda a comunidade cripto agora está perguntando: como os usuários podem garantir a segurança de suas exchanges e responsabilizá-las por adotar práticas melhores? Esta também é uma preocupação para outras exchanges de criptomoedas legítimas. Essas plataformas não devem e não funcionam como bancos, portanto, não podem depender exclusivamente de métodos regulamentados, como licenças governamentais e auditorias de governança, para provar sua credibilidade.

O co-fundador do Ethereum, Vitalik Buterin, compartilhou insights críticos sobre como as CEXs podem adotar práticas seguras e construir credibilidade usando métodos criptográficos on-chain. Aqui estão alguns dos pontos principais do blog recente de Buterin:

Os métodos tradicionais de prova de solvência que ainda funcionam 

As demonstrações financeiras são a técnica mais antiga nos livros para provar a solvência de uma exchange criptograficamente. As exchanges centralizadas podem mostrar efetivamente que têm fundos suficientes para cobrir as obrigações dos clientes, liberando publicamente os relatórios de transação de seus ativos bloqueados. Isso foi feito pela MTGox, uma das primeiras exchanges de Bitcoin em 2011. A empresa demonstrou sua prova de solvência movendo 424242 BTC para um endereço pré-anunciado.

Embora eficaz, a abordagem da demonstração financeira cria um problema em termos de determinar o montante total dos depósitos dos usuários. Por exemplo, no caso da MTGox, como alguém pode confirmar que os depósitos dos usuários da plataforma não excedem seus fundos totais na demonstração financeira?

De acordo com o co-fundador do Ethereum, a maneira mais simples de abordar essa preocupação é publicar uma lista completa de pares (Nome de Usuário, Saldo). Isso resolve o problema de provar a solvência, mas cria um novo problema de privacidade.

A técnica da árvore de Merkle para preservar a privacidade do usuário

De acordo com Buterin, a técnica da árvore de Merkle pode trazer a 'prova de solvência' e a privacidade do usuário para um modelo unificado. Esta técnica inclui estabelecer uma tabela de saldos dos clientes em uma árvore de soma de Merkle, onde cada nó é um par (saldo, hash).

Os nós da camada inferior representam os saldos dos usuários e os hashes dos nomes de usuário de cada cliente individual. O saldo nos nós superiores inclui a soma dos dois saldos abaixo. Os usuários podem calcular hierarquicamente seus saldos do nó inferior ao nó mais alto, e se a soma estiver correta, significa que seu saldo está corretamente incluído no montante total.

Embora a abordagem da árvore de Merkle forneça um certo nível de privacidade, ao mesmo tempo em que demonstra a prova de obrigações, ela ainda não garante a segurança máxima das informações dos usuários.

ZK-SNARKs – um modelo robusto para exchanges centralizadas

De acordo com Buterin, o método mais poderoso para garantir a prova de obrigações e manter a privacidade do usuário é a tecnologia ZN-SNARKs. Ela significa Zero-Knowledge Succinct Non-Interactive Argument of Knowledge (Argumento de Conhecimento Não-Interativo Sucinto de Conhecimento Zero).

ZN-SNARKs é uma maneira de as transações serem privadas e totalmente criptografadas na blockchain, ainda assim sendo validadas usando as regras de consenso da rede. Esta abordagem pode mostrar que o remetente tem o montante de fundos que deseja transferir, sem tornar essa informação pública. Por exemplo, dado o hash de um número aleatório, uma exchange poderia convencer o usuário de que realmente existe um número com esse valor de hash, sem revelar qual é.

Mais informações detalhadas sobre esta tecnologia podem ser encontradas nos documentos fundamentais oficiais do Ethereum.

Outros conselhos para CEXs de Vitalik Buterin

O co-fundador do Ethereum sugeriu ainda que as CEXs deveriam manter alguns endereços públicos de uso de longo prazo como prova de ativos. As exchanges podem gerar alguns endereços públicos e provar sua propriedade uma vez, ou ter muitos endereços e provar aleatoriamente a propriedade de tempos em tempos.

Elas também devem adotar opções de prova de conhecimento zero mais complexas. Por exemplo, uma exchange configuraria todos os seus endereços como 1-de-2 multisigs, onde uma das chaves seria diferente por endereço.

No futuro, essas práticas podem ajudar as exchanges centralizadas a demonstrar efetivamente sua prova de obrigações e aumentar sua credibilidade entre os usuários. Mais importante ainda, essas medidas podem ajudar a prevenir outro evento catastrófico como o da FTX.