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 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.

Download Local

Mac OS

Download Local

Linux

Download Local

Windows

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 PoR Implementation

Empresa de auditoria

HACKEN

Hora da auditoria

January 3, 2024

Auditor

Luciano Ciattaglia, Sofiane Akermoun, Nino Lipartiia, Bartosz Barwikowski

Repositórios

https://github.com/gateio/proof-of-reserves

Relatório de Auditoria

Gate PoR Implementation

Prova de Reservas 100%

Gate é a primeira plataforma mainstream comprometida em fornecer 100% de reservas

Gate PoR

O que é Prova de Reservas 100%?

Por que a Prova de Reservas 100% é tão importante?

A plataforma fornece Prova de Reservas 100%

Sem o compromisso de prova de reservas 100%

Como conseguimos manter 100% de nível de reservas?

Propriedade sobre a carteira

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.

O que é uma Árvore de Merkle?

Como usamos uma Árvore de Merkle para fornecer Prova de Reservas?

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:

O que são zk-SNARKs?

Processo de verificação

Gate PoR Implementation