Gate.io PoR
Valor de reserva excedente：
$ 0B
Última hora da auditoria:
(UTC+0)
Taxa total de reserva:
Algoritmo:
Merkle Tree + zk-SNARKs
Hash da Raiz de Merkle:
Saldo Líquido do Cliente
$ 0
Saldo da Carteira Gate
$ 0
Valor de reserva excedente
$ 0
Sem Dados
O que é Prova de Reservas 100%?
Uma plataforma de negociação centralizada gerencia um registro para registrar ativos de usuários em um banco de dados. Assim, as plataformas enfrentam o desafio de provar que têm custódia total de todos os ativos dos usuários em boas condições.
A Gate.io implementou a árvore de Merkle para resolver esse problema, armazenando o valor hash dos ativos da conta de cada usuário nos nós folha da árvore de Merkle. Cada usuário pode auditar o valor total dos ativos dos usuários armazenados nos nós folha da árvore de Merkle e verificar se seus fundos estão incluídos através de uma agência de auditoria terceirizada qualificada.
Se os ativos armazenados na árvore de Merkle forem verificados como 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.
Por que a Prova de Reservas 100% é tão importante?
A plataforma fornece Prova de Reservas 100%
A plataforma é financeiramente sólida
Aumenta a confiança dos usuários
Garante a segurança dos ativos dos usuários
100% de saque em caso de retirada em massa
Sem o compromisso de prova de reservas 100%
Os ativos dos usuários correm risco de apropriação indevida
Atraso ou impossibilidade de sacar ativos
A plataforma pode sofrer uma corrida se os usuários se aglomerarem para solicitar uma retirada
A plataforma tem mais probabilidade de falir ou sofrer perda de ativos
Como conseguimos manter 100% de nível de reservas?
Se o número total de tokens gerenciados pela exchange na blockchain atende ou excede o saldo agregado de todas as contas de usuários, conforme capturado em um instantâneo, a plataforma mantém uma margem de 100% para esses tokens
Propriedade sobre a carteira
Quando você usa carteiras quentes ou frias, você transfere um valor designado 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).
Como construir a árvore de Merkle com ID de usuário hasheado e saldo do usuário?
O ID de usuário hasheado (UID) e os saldos dos usuários são primeiro exportados do banco de dados da Gate.
Cada par de UID hasheado e saldos de usuários será hasheado respectivamente e então concatenado para formar o bloco de dados subjacente.
Para cada bloco de dados, a mesma função hash será aplicada para gerar os nós folha da árvore de Merkle. Os dados hasheados resultantes são subsequentemente hasheados juntos em pares para criar os nós pai dos nós folha.
Este processo continua até resultar em um único hash conhecido como raiz de merkle.
Por favor, consulte o diagrama abaixo para ilustração. Após a árvore de merkle ser construída com sucesso, os nós folha serão exportados para um arquivo de texto simples, que será publicado junto com o hash da raiz de merkle pelo auditor.
O que é uma Árvore de Merkle?
Em criptografia e ciência da computação, uma árvore hash ou árvore de Merkle é uma árvore em que cada nó folha é rotulado com o hash criptográfico de um bloco de dados. Cada nó não-folha é rotulado com o hash dos rótulos de seus nós filhos. Árvores hash permitem verificação eficiente e segura do conteúdo de grandes estruturas de dados.
Como usamos uma Árvore de Merkle para fornecer Prova de Reservas?
Salvamos o valor hash do ativo da conta de cada usuário como um nó folha na Árvore de Merkle. Então, empregamos a tecnologia zk-SNARK para confirmar que mantemos todos os ativos dos usuários integralmente. Durante este processo, nenhum dado de ativo é divulgado. As etapas para verificação são as seguintes:
1. zk-SNARK auxilia na auditoria de que o saldo total dos ativos dos usuários está armazenado como nós folha na Árvore de Merkle (ou seja, saldo da conta do usuário). Para cada nó folha, confirmamos os seguintes pontos:
a. O valor 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 hash da raiz de Merkle.
2. Verificação do usuário: Os usuários podem verificar a autenticidade da prova verificando o valor hash da raiz de Merkle usando zk-SNARK. A tecnologia nos permite completar a auditoria de reserva 100% de maneira eficiente e segura, evitando os riscos de vazamento de privacidade ou segredo comercial, o que ajudará a cumprir nosso compromisso com operações transparentes e aumentar a confiança dos clientes.
O que são zk-SNARKs?
zk-SNARK, que significa Zero-Knowledge Succinct Non-Interactive Argument of Knowledge, é uma ferramenta inovadora baseada em criptografia. Utilizando algoritmos matemáticos avançados, pode validar eficientemente o valor da reserva sem divulgar detalhes específicos dos ativos. zk-SNARK não só facilita a verificação rápida de ativos, mas também elimina riscos de violação de privacidade. Devido a esses benefícios, junto com sua natureza não interativa e alta escalabilidade, encontra extensas aplicações em áreas como verificação de transações on-chain, proteção de privacidade de dados e autenticação de identidade
Processo de verificação.
1. Instale o programa e baixe os dados:
1) Baixe o programa de verificação:
Primeiro, baixe o programa de verificação através do link fornecido ou acesse o GitHub para baixar o programa de verificação. Então renomeie-o para main.
2) Baixe os dados necessários:
Acesse a Página de Auditoria e localize o lote que você precisa verificar. Clique em [Baixar Árvore de Merkle] e [Baixar Configuração do Usuário] para baixar os dados.
Descompacte o arquivo compactado zkmerkle_cex_xxx.tar.gz, coloque o programa main dentro desta pasta e coloque o arquivo user_config.json dentro da pasta config.
A pasta do programa está agora
zkmerkle_cex_xxx
Config
cex_config.json
user_config.json
proof.csv
zkpor864.vk.save
main
2. Verificação de ativos:
Do cmd ou terminal, use o comando cd para navegar até a pasta baixada, como cd ~/Downloads/zkmerkle_cex_xxx.
(Antes de executar o programa, você pode precisar 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 documentação técnica detalhada e princípios de verificação, consulte o projeto de código aberto no GitHub
Gate.io PoR Implementation
Empresa de auditoria
HACKEN
Hora da auditoria
January 3, 2024
Auditor
Luciano Ciattaglia, Sofiane Akermoun, Nino Lipartiia, Bartosz Barwikowski
Repositórios
Relatório de Auditoria
Gate.io PoR Implementation