Horário da última auditoria::
2024-09-29 00:00:00(UTC+0)
Excesso de valor de reserva::
$ 1.09B
Algoritmo:
Merkle Tree + zk-SNARKs
Taxa de reserva total::
120.22%
Merkle Root Hash:
171cfd97a75b5cdff1b511f6e447b1d35c8cca7a2172d11e1c145a89fbf23a99
Saldo líquido do cliente
$ 5,405,986,360
Saldo da carteira da Gate.io
$ 6,499,212,860
Excesso de valor de reserva:
$ 1,093,226,500
Saldo líquido do cliente
16,788.90
Saldo da carteira da Gate.io
20,070.00
Saldo da carteira da Gate.io USD
$ 1,321,705,835
Saldo líquido do cliente
900,460,369.70
Saldo da carteira da Gate.io
950,199,170.00
Saldo da carteira da Gate.io USD
$ 950,199,170
Saldo líquido do cliente
218,945.56
Saldo da carteira da Gate.io
275,530.00
Saldo da carteira da Gate.io USD
$ 737,152,962
Saldo líquido do cliente
1,999,007,092.09
Saldo da carteira da Gate.io
2,218,526,583.00
Saldo da carteira da Gate.io USD
$ 284,135,573
Saldo líquido do cliente
87,580.12
Saldo da carteira da Gate.io
88,183.00
Saldo da carteira da Gate.io USD
$ 236,418,623
Saldo líquido do cliente
1,051,604,689.28
Saldo da carteira da Gate.io
1,060,501,647.00
Saldo da carteira da Gate.io USD
$ 176,817,439
Uma plataforma de negociação centralizada gerencia um livro-razão para registrar os ativos do usuário em um banco de dados. Assim, as plataformas enfrentam o desafio de provar que têm a custódia total de todos os ativos dos usuários em boas condições.
A Gate.io implementou a árvore Merkle para resolver esse problema, armazenando o valor de hash dos ativos da conta de cada usuário nos nós folha da árvore Merkle. Cada usuário pode auditar a quantidade total de ativos dos usuários armazenados nos nós da folha da árvore Merkle e verificar se seus fundos estão incluídos por meio de uma agência de auditoria terceirizada qualificada.
Caso se verifique que os ativos armazenados na árvore Merkle são maiores ou iguais a 100%, significa que os ativos dos usuários são mantidos integralmente na plataforma, ou seja, a plataforma fornece 100% de Prova de Reservas para os ativos dos usuários.
A plataforma é financeiramente sólida
Aumente a confiança dos usuários
Garantir a segurança dos ativos dos usuários
100% de saque em uma retirada lotada
Os ativos dos usuários correm o risco de serem apropriados indevidamente
Atraso ou incapacidade de sacar ativos
A plataforma pode sofrer uma carga se os usuários se aglomerarem para solicitar uma retirada
A plataforma tem maior probabilidade de falir ou sofrer perda de ativos
Se o número total de tokens gerenciados pela exchange no blockchain atender ou exceder o saldo agregado de todas as contas do usuário, conforme print, a plataforma mantém uma margem de 100% para esses tokens
Quando você usa carteiras quentes ou frias, você transfere uma quantia designada aleatoriamente para os endereços designados pela empresa de auditoria para provar sua propriedade sobre a carteira.
A empresa de auditoria somará o saldo dos endereços relevantes para calcular o valor total envolvido na transação (incluindo ativos dos usuários e ativos próprios da plataforma).
Please refer to the diagram below for illustration. After the merkle tree is successfully built, the leaf nodes will be exported into a plain text file, which will be published together with the merkle root hash by the auditor.
Em cripto e ciência da computação, uma árvore de hash ou árvore de Merkle é uma árvore na qual cada nó de folha é rotulado com o hash criptográfico de um bloco de dados. Cada nó de não folha é rotulado com o hash dos rótulos de seus nós filhos. As árvores de hash permitem a verificação eficiente e segura do conteúdo de grandes estruturas de dados.
a. A quantidade total de ativos gerenciados pela plataforma inclui o saldo total de ativos de todos os usuários.
b. O saldo líquido de cada usuário é maior ou igual a zero.
c. A alteração dos ativos de qualquer usuário resultará na alteração do valor do hash root Merkle.
zk-SNARK, que significa Zero-Knowledge Succinct Non-Interactive Argument of Knowledge (Argumento de Conhecimento Restrito Não Interativo de Conhecimento Zero), é uma ferramenta inovadora enraizada na criptografia. Utilizando algoritmos matemáticos avançados, ele pode validar com eficiência o valor da reserva sem divulgar detalhes específicos do ativo. O zk-SNARK não apenas facilita a verificação rápida de ativos, mas também elimina os riscos de violação de privacidade. Devido a esses benefícios, juntamente com sua natureza não interativa e alta escalabilidade, ele encontra aplicações extensas em áreas como verificação de transações na chain, protegendo a privacidade de dados e autenticação de identidade.
1. Instale o programa e baixe os dados:
Primeiro, baixe o programa de verificação através do link fornecido ou acesse o GitHub para baixar o programa de verificação. Em seguida, renomeie-o para “main”.
Acesse a Página de Auditoria e localize o lote que deseja verificar. Clique em [Baixar Merkle Tree] e [Baixar configuração do usuário] para baixar os dados.
Descompacte o arquivo compactado zkmerkle_cex_xxx.tar.gz, coloque o programa maindentro desta pasta e coloque o arquivo user_config.json dentro do config pasta.
A pasta do programa agora é
zkmerkle_cex_xxx
Config
cex_config.json
user_config.json
proof.csv
zkpor864.vk.save
main
2. Verificação de ativos:
No cmd ou terminal, use o comando cd para navegar até a pasta baixada, como cd ~/Downloads/zkmerkle_cex_xxx.
(Antes de executar o programa, pode ser necessário executar chmod 777 main para conceder permissões ou definir itens de segurança.)
Execute o seguinte comando para iniciar a verificação.
./main verify cex
Após a verificação bem-sucedida, a mensagem será exibida.
All proofs verify passed!!!
Para obter documentação técnica detalhada e princípios de verificação, consulte o projeto de código aberto do GitHub.
Tempo de auditoria | Empresa de auditoria | Auditor | Repositórios | Relatório de auditoria |
---|---|---|---|---|
January 3, 2024 | HACKEN | Luciano Ciattaglia、Sofiane Akermoun、Nino Lipartiia、Bartosz Barwikowski | Gate.io PoR Implementation |