A Gate.io é uma bolsa de criptomoedas líder com mais de 13 milhões de utilizadores e mais de 1,700 pares de negociação. Como uma das maiores e mais antigas plataformas de negociação do mundo, o Gate.io adere estritamente aos regulamentos do setor e não participa em nenhuma manipulação de mercado. Abertura, transparência, igualdade e colaboração sempre foram a nossa missão. Adotamos uma variedade de métodos centralizados e descentralizados para garantir a segurança dos ativos dos utilizadores.

Já em maio de 2020, Gate foi o primeiro a propor a prova de reserva de troca (PoR) e convidou a conhecida empresa de auditoria americana Armanino LLP a auditar os seus ativos. É uma das primeiras bolsas da indústria a propor provas de reserva. Em 23 de novembro de 2023, a Gate anunciou oficialmente que tinha actualizado o seu PorT através da tecnologia de prova de conhecimento zero, permitindo aos utilizadores usufruir de uma melhor proteção de privacidade e segurança de dados. Tornou-se uma das primeiras bolsas da indústria a adotar a prova de conhecimento zero por. Este artigo irá guiá-lo sobre como usar a Prova de Reserva do Gate para verificar a segurança dos seus fundos no Gate.io.

Antecedentes

O que é a Prova de Reserva?

Nas trocas centralizadas (CEX), os ativos de cada utilizador são registados no livro-razão da base de dados da plataforma, tornando difícil para os utilizadores confirmarem se os seus ativos foram transferidos e se a bolsa tem activos suficientes para cobrir os ativos depositados pelos utilizadores. Portanto, as bolsas precisam de um método para provar que têm ativos de reserva suficientes para resgatar totalmente os fundos dos utilizadores, o que exige que o valor dos ativos de reserva da bolsa seja superior ao valor dos ativos depositados pelos utilizadores. Esta prova de ativos disponíveis ao público chama-se Proof-of-Reserve. Os dados relacionados com a Proof-of-Reserve são o rácio de reserva, que é o rácio entre os activos detidos pela bolsa e os activos depositados do utilizador multiplicado por 100%. Quando o rácio de reserva é superior a 100%, os ativos da bolsa podem satisfazer as necessidades normais de retirada dos utilizadores. Quanto maior o rácio de reserva, mais forte é 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 de moeda única. O rácio de reserva cambial refere-se ao rácio entre os ativos globais da bolsa e o total de depósitos dos utilizadores multiplicado por 100%. O rácio de reserva em moeda única refere-se ao rácio entre o número de uma moeda específica detida na carteira de câmbio e o valor dessa moeda depositada pelos utilizadores multiplicado por 100%.

Para saber mais, por favor _clique em Como o ZK-SNARK Melhora a Prova de Reservas do Gate.io. _

O que é a Prova de Conhecimento Zero?

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

Para entender esta tecnologia, vamos considerar um exemplo simples: o utilizador A sabe o número de telefone do Utilizador B. Quando o Utilizador C pergunta ao Utilizador A se sabe o número de telefone do Utilizador B, o Utilizador A pode provar que realmente possui o número de telefone discando o número B no local, sem o revelar ao Utilizador C. Este processo preserva a privacidade do utilizador ao mesmo tempo que 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 Prova de Reservas

O zk-SNARK é uma tecnologia sucinta e não interativa de prova de conhecimento zero. Executa uma “configuração fidedigna” com antecedência para gerar uma Cadeia de Referência Comum (CRS), que permite que todos os provadores a acedam diretamente. Isto é semelhante a um sistema de pontuação num exame, onde o zk-SNark carrega diretamente as respostas corretas e permite que os examinados verifiquem as suas respostas (enviando as suas soluções para o sistema de back-end, que fornecerá o resultado final da exatidão). É altamente eficiente.

Merkle Tree é uma estrutura de dados semelhante a uma “árvore”. Os dados na camada mais baixa são chamados de “nós de folha” e os dados no meio podem ser chamados de “nós intermédios”. Os valores dos nós intermédios são calculados através do hash dos valores dos dois nós filhos (qualquer valor de entrada é processado de uma forma específica para produzir um valor específico). Os nós intermédios à esquerda e à direita são então hash para obter um valor de saída exclusivo para o nó intermédio de nível superior. Após o processamento em cada nível, obtém-se um nó raiz único (Raiz) da Árvore Merkle.

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

Tutorial de Operação

Interface de interface do usuário de front-end

Clique no link ou aceda ao site Gate.io e vá até ao fundo. Clique no botão 100% Comprovante de Reservas para aceder à página de frontend Gate Reserves.

Informação Básica de Reserva

Depois de entrarem na página de front-end do Gate.io Proof-of-Reserves, os utilizadores podem ver diretamente a hora 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 utilizadores depositaram aproximadamente 2,77 mil milhões de USD em ativos, e os ativos detidos na carteira Gate excedem os depósitos dos utilizadores em 434 milhões de USD, num total de 3.206 mil milhões de USD. O rácio de reserva global é de 115,69%.

Índice único de reserva de criptomoeda

Percorrer a página para baixo mostrará os montantes específicos e os rácios de reserva para diferentes criptomoedas. Tomando a primeira cripto, BTC, como exemplo, em 8 de dezembro de 2023, os utilizadores depositaram 13.85K BTC, enquanto a carteira Gate detém 17.10K BTC, resultando num rácio de reserva de 123.52% para o BTC.

Clique no ícone da página no canto inferior direito da imagem para ver o rácio 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, pode verificar se o saldo da sua conta está incluído no cálculo, confirmando assim que o índice de reserva reflete os resultados com os seus fundos devidamente contabilizados.

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

Existe outra maneira de verificar o estado de auditoria dos seus ativos, que é ir para a página A minha conta e navegar até a secção Auditorias. Aqui, pode ver os seus registos históricos de auditoria e a situação de reserva abrangente do Gate.

Processo de Verificação

1. Descarregar o Programa de Verificação

Os utilizadores podem descarregar o programa de verificação através do Github ou do link de transferência fornecido na página de reserva e renomeá-lo como [principal]:

O utilizador tem de escolher o sistema correspondente do seu dispositivo para descarregar.

2. Descarregar Dados de Verificação de Ativos

Entre na página de auditoria pessoal, encontre o lote que precisa de verificação e clique em “Download Merkle Tree” e “Download User Config” respectivamente para descarregar os dados.

Depois de descarregar, terá um ficheiro comprimido chamado zkmerkle_cex_xxx.tar.gz. Coloque o programa principal (o ficheiro do programa de verificação mencionado anteriormente) na pasta e coloque o ficheiro user_config.json na pasta config. Uma vez feito tudo, a estrutura do ficheiro será como mostrado no seguinte diagrama:

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

3. Verificar Ativos de Câmbio

Os utilizadores podem introduzir diretamente [cmd] ou introduzir o comando [cd ~/downloads/zkmerkle_cex_xxx] no [terminal] para introduzir o ficheiro zkmerkle_cex_xxx configurado anteriormente mencionado acima.

Em seguida, introduza:

Texto simples
. /principal verificar cex

Se a verificação for bem sucedida, irá produzir:

Texto simples
Todas as provas confiram que foram aprovadas!!

4. Verifique os seus próprios ativos

Por favor, introduza o seguinte comando para verificar os seus próprios ativos:

Texto simples
. /principal verificar utilizador

Se os ativos do utilizador forem calculados corretamente, os dados da conta e do saldo serão um nó de folha da árvore Merkle. Portanto, uma verificação bem sucedida será a saída.

Texto simples
merkle deixa hash: 164bc38a71b7a757455d93017242b4960cd1fea6842d8387b60c5780205858ce
verificar passe!!!

Se quiser saber mais detalhes técnicos, pode clicar no link para aceder ao Github e ver 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 utilizador. Com proteções excepcionais de segurança e privacidade, traz aos utilizadores mais confiança e define um novo padrão para toda a indústria de criptomoedas.