Prova de reservas

O que é a Prova de reservas?

A Proof of Reserves (PoR) assegura que os depositários mantêm fundos suficientes para cobrir todos os ativos dos utilizadores na respetiva plataforma e depositam os passivos enquanto solvente restante.

Este atestado criptográfico demonstra que uma bolsa de criptomoedas detém um montante específico de ativos na sua blockchain numa determinada altura, o que proporciona transparência relativamente aos saldos agregados dos utilizadores ou a soma total de depósitos na bolsa. Tal é alcançado sem revelar informações confidenciais sobre os saldos de conta individuais. A PoR é um componente essencial do ecossistema de criptomoedas.

Ativos considerados reservas são criptomoedas com forte liquidez e aceitação no mercado. A OKX oferece relatórios de reservas para 22 moedas, incluindo

, , e criptomoedas estáveis como , .

Como funciona a Prova de reservas?

1. Utilizamos um algoritmo de provas de zero conhecimentos Prova de zero conhecimentos transparente, zk-STARK, para comprovar e verificar todos os ativos dos utilizadores mantidos na nossa bolsa.

2. Verificamos a nossa propriedade de endereços da carteira on-chain da OKX e o total de participações da carteira da OKX.

3. Por fim, verificamos o nosso rácio de reservas ao comparar o total de participações de ativos dos utilizadores com o total de ativos trocados a partir dos endereços da carteira on-chain.

O que é zk-STARK?

O

zk-STARK (Zero-Knowledge Scalable Transparent Argument of Knowledge) é um método seguro. Depende de princípios de Zero Conhecimentos e utiliza o protocolo FRI para verificar os dados e comprovar a autenticidade dos nossos relatórios. Além disso, o zk-STARK assegura a privacidade dos utilizadores ao não divulgar montantes, valores ou endereços específicos.

De que forma a OKX utiliza o zk-STARK para verificar os ativos

1. Tiramos um instantâneo do saldo de ativos de cada utilizador e introduzimos estes dados numa tabela e num sistema de árvore Merkle encriptados. É criado um registo de prova de adulteração, que pode ser utilizado para verificar a precisão dos saldos.

2. Definimos três regras ou "restrições" que os saldos de ativos dos utilizadores têm de cumprir. Se cada restrição for testada e comprovada como verdadeira, confirma a veracidade dos pedidos feitos pela OKX.
   
   Regra 1: Restrição do Saldo Total
   O total de participações de ativos do utilizador que a OKX diz manter é a soma do saldo total de ativos de cada utilizador.
   
   Regra 2: Restrição de Ativos Não Negativos
   O saldo total de cada utilizador é superior a zero e os ativos são contabilizados, cobrindo os passivos e assegurando que cada utilizador tem capital próprio líquido positivo. Tal é essencial para manter a solvência de uma bolsa de criptomoedas.
   
   Regra 3: Restrição de Inclusão
   O saldo total de cada utilizador é incluído no processo de cálculo e verificação.

O nosso sistema de Prova de reservas é open-source e está disponível para análise e utilização no

.

Como verificar a propriedade do endereço e dos ativos da carteira da OKX

Publicámos uma lista de endereços de carteira onde os utilizadores podem ver os ativos da OKX armazenados on-chain. Estes endereços contêm uma mensagem assinada que indica "Sou um endereço da OKX", que confirma a nossa propriedade.

Para verificar a nossa propriedade, pode utilizar ferramentas "

" de terceiros ou open-source fornecidas pela OKX.

Como verificar o rácio de reservas da OKX

Para verificar o rácio de reservas da OKX, compare o total de ativos nas carteiras on-chain da OKX com o total de ativos do utilizador na raiz Merkle.

Se o saldo total de ativos on-chain for igual ou exceder o saldo total de ativos do utilizador, o rácio de reservas confirmará que a OKX tem Prova de reservas.

Nota: o resultado do relatório é um instantâneo dos saldos de ativos dos nossos utilizadores no momento da captura de dados. Não estão incluídas as transações subsequentes feitas após o instantâneo de auditoria ou os tokens fora deste âmbito.