Gate.io é uma exchange cripto líder com mais de 13 milhões de usuários e mais de 1.700 pares de negociação. Como uma das maiores e mais antigas plataformas de negociação do mundo, a Gate.io cumpre rigorosamente as regulamentações do setor e não participa de nenhuma manipulação de mercado. Abertura, transparência, igualdade e colaboração sempre foram nossa missão. Adotamos uma variedade de métodos centralizados e descentralizados para garantir a segurança dos ativos dos usuários.

Já em maio de 2020, Gate foi o primeiro a propor prova de reserva cambial (PoR) e convidou a conhecida empresa de auditoria americana Armanino LLP para auditar seus ativos. É uma das primeiras bolsas do setor a propor prova de reserva. Em 23 de novembro de 2023, a Gate anunciou oficialmente que havia atualizado seu PoR por meio de tecnologia à prova de conhecimento zero, permitindo aos usuários desfrutar de melhor proteção de privacidade e segurança de dados. Tornou-se uma das primeiras bolsas do setor a adotar PoR de prova de conhecimento zero. Este artigo irá orientá-lo sobre como usar o Comprovante de Reserva do Gate para verificar a segurança de seus fundos no Gate.io.

Plano de fundo

O que é comprovante de reserva?

Nas bolsas centralizadas (CEX), os activos de cada utilizador são registados na base de dados da plataforma, dificultando aos utilizadores a confirmação se os seus activos foram transferidos e se a bolsa tem activos suficientes para cobrir os activos depositados pelos utilizadores. Portanto, as bolsas precisam de um método para provar que possuem activos de reserva suficientes para resgatar integralmente os fundos dos utilizadores, o que exige que o valor dos activos de reserva da bolsa seja superior ao valor dos activos depositados pelos utilizadores. Esta prova de ativos publicamente disponíveis é chamada de Prova de Reserva. Os dados relacionados ao Comprovante de Reserva são o índice de reserva, que é a relação entre os ativos mantidos na bolsa e os ativos depositados do usuário multiplicado por 100%. Quando o rácio de reserva é superior a 100%, os activos da bolsa podem satisfazer as necessidades normais de levantamento dos utilizadores. Quanto mais elevado for o rácio de reservas, maior será a capacidade de resistir aos riscos de liquidez.

O rácio de reserva é geralmente dividido em rácio de reserva cambial e rácio de reserva em moeda única. O rácio de reserva cambial refere-se ao rácio entre os ativos globais da bolsa e o total dos depósitos dos utilizadores multiplicado por 100%. O rácio de reserva de moeda única refere-se ao rácio entre o número de uma moeda específica mantida na carteira de câmbio e o montante dessa moeda depositada pelos utilizadores multiplicado por 100%.

Para saber mais, _clique em Como zk-SNARK melhora a prova de reservas Gate.io._

O que é prova de conhecimento zero?

Prova de Conhecimento Zero (ZKP) é um método de criptografia que permite que uma parte (conhecida como provador) prove a outra parte (conhecida como verificador) que uma determinada afirmação é verdadeira sem revelar qualquer informação adicional que revelaria a base do prova. Este processo não apenas protege a privacidade do provador, mas também garante que o verificador não possa replicar o processo de prova ou obter dele qualquer informação adicional.

Para entender essa tecnologia, vamos considerar um exemplo simples: o usuário A sabe o número de telefone do usuário B. Quando o usuário C pergunta ao usuário A se ele sabe o número de telefone do usuário B, o usuário A pode provar que realmente possui o número de telefone discando o número de B. no local, sem revelá-lo ao usuário C. Esse processo preserva a privacidade do usuário e ao mesmo tempo fornece a resposta, e é o que chamamos de “prova de conhecimento zero”.

Para saber mais, clique em Uma explicação detalhada das provas de conhecimento zero.

Combinando Provas de Conhecimento Zero com Provas de Reservas

zk-SNARK é uma tecnologia sucinta e não interativa à prova de conhecimento zero. Ele executa uma “configuração confiável” antecipadamente para gerar uma String de Referência Comum (CRS), que permite que todos os provadores o acessem diretamente. Isso é semelhante a um sistema de pontuação em um exame, onde zk-SNARK carrega diretamente as respostas corretas e permite que os examinandos verifiquem suas respostas (enviando suas soluções para o sistema backend, que fornecerá o resultado final de acerto). É altamente eficiente.

Merkle Tree é uma estrutura de dados semelhante a uma “árvore”. Os dados na camada mais baixa são chamados de “nós folha” e os dados no meio podem ser chamados de “nós intermediários”. Os valores dos nós intermediários são calculados por hash dos valores dos dois nós filhos (qualquer valor de entrada é processado de uma maneira específica para produzir um valor específico). Os nós intermediários à esquerda e à direita são então hash para obter um valor de saída exclusivo para o nó intermediário de nível superior. Após o processamento em cada nível, é obtido um nó raiz exclusivo (Root) da Merkle Tree.

Gate.io combina a tecnologia zk-SNARK com Merkle Tree para colocar todos os depósitos dos usuários na Merkle Tree. Então, zk-SNARK é usado para provar que todos os saldos na árvore não são negativos (ou seja, a bolsa não falsificou nenhuma conta para interferir na saída da Árvore Merkle). Finalmente, a árvore Merkle é gerada e os hashes de nó e hash de raiz relevantes são tornados públicos para verificação do usuário.

Tutorial de operação

Interface de interface de usuário front-end

Clique no link ou acesse o site Gate.io e vá até o final. Clique no botão 100% Comprovante de Reservas para acessar a página inicial do Gate Reserves.

Informações Básicas de Reserva

Depois de entrar na página frontal do Proof-of-Reserves do Gate.io, os usuários podem visualizar diretamente o horário de atualização mais recente da reserva. No exemplo abaixo, a auditoria mais recente foi realizada em 10 de novembro de 2023, usando Markle Tree + zk-SNARKs como método de auditoria. Os usuários depositaram aproximadamente 2,77 bilhões de dólares em ativos, e os ativos mantidos na carteira Gate excedem os depósitos dos usuários em 434 milhões de dólares, totalizando 3,206 bilhões de dólares. O rácio de reserva global é de 115,69%.

Taxa de Reserva de Criptomoeda Única

Rolar a página para baixo mostrará os valores específicos e as taxas de reserva para diferentes criptomoedas. Tomando a primeira criptografia, BTC, como exemplo, em 8 de dezembro de 2023, os usuários depositaram 13,85 mil BTC, enquanto a carteira Gate detém 17,10 mil BTC, resultando em um índice de reserva de 123,52% para BTC.

Clique no ícone da página no canto inferior direito da imagem para visualizar a proporção de reserva de até 112 tokens no Gate. Clique no botão “Verificar agora” na imagem para exibir o tutorial de verificação. Seguindo o tutorial, você poderá verificar se o saldo da sua conta está incluído no cálculo, confirmando assim se o índice de reserva reflete o resultado com seus recursos devidamente contabilizados.

Outras páginas de exibição de front-end

Existe outra maneira de verificar o status de auditoria de seus ativos, que é acessar a página Minha Conta e navegar até a seção Auditorias. Aqui, você pode visualizar seus registros históricos de auditoria e a situação abrangente das reservas da Gate.

Processo de verificação

1. Baixe o programa de verificação

Os usuários podem baixar o programa de verificação através do Github ou do link de download fornecido na página de reserva e renomeá-lo como [principal]:

O usuário precisa escolher o sistema correspondente do seu dispositivo para download.

2. Baixe os dados de verificação de ativos

Entre na página de auditoria pessoal, encontre o lote que precisa de verificação e clique em “Baixar Merkle Tree” e “Baixar configuração do usuário” respectivamente para baixar os dados.

Após o download, você terá um arquivo compactado chamado zkmerkle_cex_xxx.tar.gz. Coloque o programa principal (o arquivo do programa de verificação mencionado anteriormente) na pasta e coloque o arquivo user_config.json na pasta de configuração. Depois de tudo feito, a estrutura do arquivo ficará conforme mostrado no diagrama a seguir:

Uma vez concluída esta etapa, todos os preparativos necessários foram feitos e a validação formal pode começar.

3. Verifique os ativos do Exchange

Os usuários podem inserir [cmd] diretamente ou o comando [cd ~/Downloads/zkmerkle_cex_xxx] em [terminal] para inserir o arquivo zkmerkle_cex_xxx configurado anteriormente mencionado acima.

Então digite:

Texto Simples 
 ./main verificar cex

Se a verificação for bem-sucedida, será gerado:

Texto Simples 
 Todas as provas verificadas foram aprovadas!!!

4. Verifique seus próprios ativos

Digite o seguinte comando para verificar seus próprios ativos:

Texto Simples 
 ./main verificar usuário

Se os ativos do usuário forem calculados corretamente, os dados da conta e do saldo serão um nó folha da árvore Merkle. Portanto, uma verificação bem-sucedida será gerada.

Texto simples 
 merkle deixe hash: 164bc38a71b7a757455d93017242b4960cd1fea6842d8387b60c5780205858ce 
 verifique a passagem!!!

Se quiser saber mais detalhes técnicos, você pode clicar no link para acessar o Github e visualizar o código-fonte aberto.

Conclusão

Habilitar o zk-SNARK é uma atualização importante para a Prova de Reservas do Gate.io e um passo significativo na proteção da segurança dos ativos do usuário. Com excelentes proteções de segurança e privacidade, traz mais confiança aos usuários e estabelece um novo padrão para toda a indústria de criptomoedas.