Quando iniciamos nosso programa de Prova de Reservas (PoR) em 2020, ele marcou nosso compromisso mais significativo com a transparência e a responsabilidade de todos os tempos, permitindo aos usuários verificar de forma independente se seus saldos BTC e ETH são garantidos 1:1 por ativos reais. Desde então, fortalecemos esse compromisso com relatórios mais regulares, tecnologia de conhecimento zero e cobertura de mais de 170 ativos – o máximo de qualquer exchange.

Estamos agora em nosso quarto ano de produção de PoR 100% e recentemente contratamos a Hacken, uma empresa líder em segurança de blockchain, para avaliar nosso método PoR. Após uma análise completa, eles não encontraram vulnerabilidades e seguiram com um estudo de caso descrevendo suas descobertas, que você pode ler abaixo.

Hacken: Avaliação de segurança de prova de reservas do Gate: elevando os padrões criptográficos e a confiança

Uma das maiores exchanges de criptomoedas do mundo Gate atualizou recentemente sua Prova de Reservas (PoR) para incluir tecnologia de conhecimento zero, marcando um passo importante rumo a uma maior transparência financeira. Hacken conduziu uma avaliação independente de terceiros para avaliar a mais nova implementação de Prova de Reservas do Gate, examinando-a em busca de vulnerabilidades a ataques conhecidos ou códigos maliciosos.

A mudança é particularmente significativa no cenário pós-FTX, onde a maioria das bolsas não oferece 100% de reserva de capital. Com esta iniciativa, Gate eleva o padrão de transparência dos ativos digitais entre exchanges centralizadas.

Tecnologia e Implementação

A implementação original do PoR da Gate, derivada da “prova de solvência zkmerkle” da Binance, passou por modificações significativas na estrutura, gerenciamento de dependências e estruturas criptográficas desde 2020.
A melhoria mais crítica foi a adição da verificação zk-SNARK, que eliminou a fraqueza na implementação anterior isso poderia ter permitido a inclusão de contas fabricadas com saldos negativos, alterando potencialmente a precisão dos dados.
O projeto usa as seguintes estruturas e frameworks criptográficos:
- Um fork do GNARK – para construir circuitos criptográficos.
- Função hash Poseidon com a curva BN254 – para hash de dados do usuário e da estrutura Sparse Merkle Tree (SMT).
- Biblioteca BSMT – para implementação do SMT com profundidade máxima de 28, permitindo que o sistema de Prova de Solvência acomode mais de 250 milhões de usuários.
Veja a implementação da Prova de Reservas do Gate no GitHub ou leia mais sobre isso [aqui](https://www.gate.io /comprovante-de-reservas/ "aqui").

Descobertas e recomendações

Avaliação de Hacken

Equipa de avaliação

A avaliação de segurança da implementação da prova de reservas foi liderada por Luciano Ciattaglia, Diretor de Serviços da Hacken e um renomado especialista em criptologia, ao lado dos auditores líderes Sofiane Akermoun, Nino Lipartiia e Bartosz Barwikowski.

Método

A equipe conduziu uma análise completa da documentação, base de código do repositório, estrutura de código e qualidade arquitetural do Gate, além de examinar novas tags de lançamento e funcionalidades. Realizamos verificações extensas contra vulnerabilidades conhecidas, incluindo verificação por meio de validação de soma de verificação para todas as 1.157 dependências. O objetivo principal desta avaliação foi avaliar o código em busca de vulnerabilidades a ataques conhecidos ou códigos maliciosos e verificar a ausência de problemas nos processos de construção, implantação e design de arquitetura.

Descobertas

A avaliação da equipe Hacken não revelou vulnerabilidades de gravidade crítica, alta, média ou baixa. Encontramos vários problemas informativos:
- Integridade do hash da raiz Merkle: Foi recomendado que a raiz Merkle fosse assinada por um auditor terceirizado confiável ou publicada no blockchain para verificabilidade.
- Versão desatualizada do GNARK: A atualização para a versão mais recente do GNARK foi fortemente recomendada para mitigar riscos de segurança e desvantagens de eficiência.

Avaliação

No geral, o projeto é uma prova de uma base sólida em implementação criptográfica e organização de código excepcional. Seu estado atual reflete um equilíbrio bem considerado entre funcionalidade e complexidade, oferecendo uma configuração abrangente para os usuários com sua documentação detalhada e dados de amostra fornecidos. A estrutura e os recursos existentes do projeto já contribuem significativamente para o campo, demonstrando uma compreensão e aplicação claras dos princípios-chave da tecnologia blockchain e dos sistemas criptográficos.
O relatório completo é público e pode ser acessado em https://hacken.io/audits/gate.io.

Conclusões

A implementação de PoR da Gate estabelece uma nova referência na indústria de blockchain e criptomoeda. Ele exemplifica o compromisso com a transparência e a confiança para todos os seus mais de 14 milhões de usuários. O compromisso de 100% de Prova de Reservas, bem como uma subsequente avaliação de segurança de terceiros da implementação, oferece um modelo para outras trocas de ativos digitais para melhorar a sua segurança e integridade.

Gateway to Crypto Trade over 1,700 cryptocurrencies safely, quickly, and easily on Gate

Download Gate App / Web Client now>>>
Follow us on Gate X (Twitter) to get more bonuses>>>
Join our Telegram to discuss hot topics>>>
Join our Global Community to get more updates>>>
We provide 100% proof of reserve>>>
Inscreva-se para aproveitar no máximo. US$ 6.666 em recompensas exclusivamente para novos usuários
Receba 40% de comissão de referências

Equipe Gate
4 de fevereiro de 2024