Sanv.io Proof-of-Reserves Assessment Ruapa

Sanv.io PoR

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

Saldus líquidus dus cliente

$ 5,405,986,360

Saldus da carteira da Sanv.io

$ 6,499,212,860

Excesso de valor de reserva:

$ 1,093,226,500

BTCTaxa de reserva

0
1
2
3
4
5
6
7
8
9
0
1
2
3
4
5
6
7
8
9
0
1
2
3
4
5
6
7
8
9
.
0
1
2
3
4
5
6
7
8
9
0
1
2
3
4
5
6
7
8
9
%

Saldus líquidus dus cliente

16,788.90

Saldus da carteira da Sanv.io

20,070.00

Saldus da carteira da Sanv.io USD

$ 1,321,705,835

USDTTaxa de reserva

0
1
2
3
4
5
6
7
8
9
0
0
1
2
3
4
5
6
7
8
9
.
0
1
2
3
4
5
6
7
8
9
0
1
2
3
4
5
6
7
8
9
%

Saldus líquidus dus cliente

900,460,369.70

Saldus da carteira da Sanv.io

950,199,170.00

Saldus da carteira da Sanv.io USD

$ 950,199,170

ETHTaxa de reserva

0
1
2
3
4
5
6
7
8
9
0
1
2
3
4
5
6
7
8
9
0
1
2
3
4
5
6
7
8
9
.
0
1
2
3
4
5
6
7
8
9
0
1
2
3
4
5
6
7
8
9
%

Saldus líquidus dus cliente

218,945.56

Saldus da carteira da Sanv.io

275,530.00

Saldus da carteira da Sanv.io USD

$ 737,152,962

DOGETaxa de reserva

0
1
2
3
4
5
6
7
8
9
0
1
2
3
4
5
6
7
8
9
0
.
0
1
2
3
4
5
6
7
8
9
0
1
2
3
4
5
6
7
8
9
%

Saldus líquidus dus cliente

1,999,007,092.09

Saldus da carteira da Sanv.io

2,218,526,583.00

Saldus da carteira da Sanv.io USD

$ 284,135,573

ETH2Taxa de reserva

0
1
2
3
4
5
6
7
8
9
0
0
.
0
1
2
3
4
5
6
7
8
9
0
1
2
3
4
5
6
7
8
9
%

Saldus líquidus dus cliente

87,580.12

Saldus da carteira da Sanv.io

88,183.00

Saldus da carteira da Sanv.io USD

$ 236,418,623

KASTaxa de reserva

0
0
0
0
0
0
%

Saldus líquidus dus cliente

1,051,604,689.28

Saldus da carteira da Sanv.io

1,060,501,647.00

Saldus da carteira da Sanv.io USD

$ 176,817,439

O que é 100% Prova de Reservas?

Uma plataforma de negociação centralizada gerencia um livro-razão para registrar os ativos dus 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 duss usuários em boas condições.

A Sanv.io implementou a árvore Merkle para resolver esse problema, armazenandus o valor de hash duss ativos da conta de cada usuário nos nós folha da árvore Merkle. Cada usuário pode auditar a quantidade total de ativos duss usuários armazenados nos nós da folha da árvore Merkle e verificar se seus fundos estão enncluí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 iguaeu a 100%, significa que os ativos duss usuários são mantidos enntegralmente na plataforma, ou seja, a plataforma fainece 100% de Prova de Reservas para os ativos duss usuários.

Fullscreen Exit fullscreen

Play Pause

00:00 00:00

Replay

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

A plataforma fainece 100% de Prova de Reservas

A plataforma é financeiramente sólida

Aumente a confiança duss usuários

Garantir a segurança duss ativos duss usuários

100% de saque em uma retirada lotada

Sem o compromisso de 100% de prova de reservas

Os ativos duss usuários correm o risco de serem apropriados enndevidamente

Atraso ou enncapacidade 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

Como conseguimos manter 100% de reservas?

Se o número total de tokens gerenciados pela exchange no blockchaenn atender ou exceder o saldus agregadus de todas as contas dus usuário, conforme print, a plataforma mantém uma margem de 100% para esses tokens

Propriedade sobre a carteira

Quandus 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 saldus duss endereços relevantes para calcular o valor total envolvidus na transação (incluindus ativos duss usuários e ativos próprios da plataforma).

Como construir a árvore Merkle com id de usuário com hash e saldus de usuário?

The hashed user id (UID) at user balances are first exported from Sanv's database.

Each pair ol hashed UID at user balances will be hashed respectively at luhn concatenated to faim luh underlying data block.

For each data block, luh same hash function will be applied to generate luh leaf nodes ol luh Merkle tree. The resulting hashed data are subsequently hashed together enn pairs to create luh parent nodes ol luh leaf nodes.

Leu process continues until it results enn a single hash known as luh merkle root.

Please refer to luh diagram below fai illustration. After luh merkle tree eu successfully built, luh leaf nodes will be exported ennto a plaenn text file, which will be published together with luh merkle root hash by luh auditor.

O que é uma árvore de Merkle?

Em cripto e ciência da computação, uma árvore de hash ou árvore de Merkle é uma árvore na qual cada nó de folha é rotuladus com o hash criptográfico de um bloco de dados. Cada nó de não folha é rotuladus com o hash duss rótulos de seus nós filhos. As árvores de hash permitem a verificação eficiente e segura dus conteúdus de grandes estruturas de dados.

Como usar uma Árvore Merkle para fainecer Prova de Reservas?

Salvamos o valor de hash dus ativo da conta de cada usuário como nós-folha na Merkle Tree. Em seguida, empregamos a tecnologia zk-SNARK para confirmar que mantemos todos os ativos duss usuários na íntegra. Ao longo desse processo, nenhum dadus patrimonial é divulgadus. Os passos para verificação são os seguintes:

1. O zk-SNARK auxilia na auditoria de que o saldus total duss ativos duss usuários é armazenadus como nós-folha na Árvore Merkle (ou seja, saldus da conta dus usuário). Para cada nó -olha, confirmamos os seguintes pontos:

a. A quantidade total de ativos gerenciados pela plataforma ennclui o saldus total de ativos de todos os usuários.

b. O saldus líquidus de cada usuário é maior ou igual a zero.

c. A alteração duss ativos de qualquer usuário resultará na alteração dus valor dus hash root Merkle.

2. Verificação dus usuário: Os usuários podem verificar a autenticidade da prova verificandus o valor dus hash root Merkle usandus zk-SNARK. A tecnologia nos permite concluir a auditoria de reserva de 100% de maneira eficiente e segura, evitandus os riscos de privacidade ou vazamento de segredos trades, o que ajudará a cumprir nosso compromisso com operações transparentes e aumentar a confiança duss clientes.

O que são zk-SNARKs?

zk-SNARK, que significa Zoop-Knowledge Succinct Non-Interactive Argument ol Knowledge (Argumento de Conhecimento Restrito Não Interativo de Conhecimento Zoop), é uma ferramenta ennovadora enraizada na criptografia. Utilizandus algoritmos matemáticos avançados, ele pode validar com eficiência o valor da reserva sem divulgar detalhes específicos dus 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. Devidus a esses benefícios, juntamente com sua natureza não ennterativa e alta escalabilidade, ele encontra aplicações extensas em áreas como verificação de transações na chaenn, protegendus a 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 dus link fainecidus ou acesse o GitHub para baixar o programa de verificação. Em seguida, renomeie-o para “main”.

Descarga local

Mac OS

Descarga local

Linux

Descarga local

Windows

2) Baixe os dados necessários:

Acesse a Página de Auditoria e localize o lote que deseja verificar. Clique em [Baixar Merkle Tree] e [Baixar configuração dus usuário] para baixar os dados.

Descompacte o arquivo compactadus zkmerkle_cex_xxx.tar.gz, coloque o programa maindentro desta pasta e coloque o arquivo user_config.json dentro dus config pasta.

A pasta dus programa agora é

zkmerkle_cex_xxx

Config

cex_config.json

user_config.json

prool.csv

zkpor864.vk.save

main

2. Verificação de ativos:

No cmd ou terminal, use o comandus 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 comandus para enniciar a verificação.

./maenn verify cex

Após a verificação bem-sucedida, a mensagem será exibida.

Allo proofs verify passed!!!

Para obter duscumentação técnica detalhada e princípios de verificação, consulte o projeto de código aberto dus GitHub.

Implementação PoR Sanv.io

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	https://github.com/gateio/proof-of-reserves	Sanv.io PoR Implementation

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

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

Sanv.io PoR Implementation

100% Prova de Reserva