Gate.io Proof-of-Reserves Assessment Report

Gate.io PoR

Última hora de auditoría:

2024-09-29 00:00:00(UTC+0)

Exceso de valor de reserva:

$ 1.09B

Algoritmo:

Merkle Tree + zk-SNARKs

Tasa de reserva total:

120.22%

Hash de Merkle Root:

171cfd97a75b5cdff1b511f6e447b1d35c8cca7a2172d11e1c145a89fbf23a99

Saldo neto del cliente

$ 5,405,986,360

Saldo de la Cartera Gate

$ 6,499,212,860

Exceso de valor de reserva

$ 1,093,226,500

BTCRatio 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
%

Saldo neto del cliente

16,788.90

Saldo de la Cartera Gate

20,070.00

Saldo de la Cartera Gate USD

$ 1,321,705,835

USDTRatio 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
%

Saldo neto del cliente

900,460,369.70

Saldo de la Cartera Gate

950,199,170.00

Saldo de la Cartera Gate USD

$ 950,199,170

ETHRatio 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
%

Saldo neto del cliente

218,945.56

Saldo de la Cartera Gate

275,530.00

Saldo de la Cartera Gate USD

$ 737,152,962

DOGERatio 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
%

Saldo neto del cliente

1,999,007,092.09

Saldo de la Cartera Gate

2,218,526,583.00

Saldo de la Cartera Gate USD

$ 284,135,573

ETH2Ratio 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
%

Saldo neto del cliente

87,580.12

Saldo de la Cartera Gate

88,183.00

Saldo de la Cartera Gate USD

$ 236,418,623

KASRatio 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
%

Saldo neto del cliente

1,051,604,689.28

Saldo de la Cartera Gate

1,060,501,647.00

Saldo de la Cartera Gate USD

$ 176,817,439

¿Qué es la prueba del 100% de las reservas?

La plataforma comercial centralizada mantiene un libro de contabilidad en la base de datos para registrar los activos de los usuarios. Por lo tanto, la plataforma se enfrenta a la dificultad de demostrar que mantiene los activos de todos los usuarios en buen estado y en su totalidad.

Gate.io implementó el árbol de Merkle para resolver este problema, almacenando el valor hash de los activos de la cuenta de cada usuario en los nodos de hoja del árbol de Merkle. Cada usuario puede auditar la cantidad total de activos de los usuarios almacenados en los nodos de hojas del árbol de Merkle y verificar si sus fondos están incluidos a través de una agencia de auditoría de terceros cualificada.

Si se verifica que los activos almacenados en el árbol de Merkle son mayores o iguales al 100%, significa que los activos de los usuarios se mantienen en su totalidad en la plataforma, es decir, la plataforma proporciona una prueba de reservas del 100% para los activos de los usuarios.

Fullscreen Exit fullscreen

Play Pause

00:00 00:00

Replay

¿Por qué es tan importante la prueba del 100% de las reservas?

La plataforma proporciona un 100% de prueba de reservas

La plataforma es financieramente sólida

Mejorar la confianza de los usuarios

Garantizar la seguridad de los activos de los usuarios

Retirada de efectivo del 100% en un retiro multitudinario

Sin el compromiso del 100% de las reservas

Los activos de los usuarios corren el riesgo de ser malversados

Retraso o imposibilidad de retirar los activos

La plataforma puede sufrir una caída si los usuarios se acumulan y solicitan un retiro

Es más probable que la plataforma quiebre o sufra pérdidas de activos

¿Cómo conseguimos mantener un nivel de reservas del 100%?

Si el número total de tokens gestionados por el intercambio en la cadena de bloques alcanza o supera el saldo agregado de todas las cuentas de usuario, tal y como se captura en una instantánea, la plataforma mantiene un margen del 100% para esos tokens.

Propiedad sobre la billetera

Cuando se utilizan monederos calientes o fríos, se transfiere una cantidad designada al azar a las direcciones designadas por la empresa auditora para demostrar su propiedad sobre el monedero.

La empresa auditora sumará el saldo de las direcciones correspondientes para calcular el importe total de la transacción (incluidos los activos de los usuarios y los activos propios de la plataforma).

¿Cómo se construye el árbol de Merkle con el id de usuario y el saldo de usuario con hash?

En primer lugar, se exportan de la base de datos de Gate el identificador de usuario (UID) y los saldos de usuario.

Cada par de UID y saldos de usuario con hash serán sometidos a hash respectivamente y luego concatenados para formar el bloque de datos subyacente .

Para cada bloque de datos, se aplicará la misma función hash para generar los nodos hoja del árbol de Merkle. A continuación, los datos hash resultantes se combinan por pares para crear los nodos padre de los nodos hoja.

Este proceso continúa hasta que da como resultado un hash único conocido como raíz merkle.

Por favor consulte el diagrama que figura a continuación a modo de ilustración. Una vez que el árbol merkle se ha construido correctamente, los nodos de las hojas se exportarán a un archivo de texto sin formato, que el auditor publicará junto con el hash de la raíz merkle.

¿Qué es el árbol de Merkle?

En criptografía e informática, un árbol de hash o árbol de Merkle es un árbol en el que cada nodo de la hoja está etiquetado con el hash criptográfico de un bloque de datos. Cada nodo que no es hoja está etiquetado con el hash de las etiquetas de sus nodos hijos. Los árboles hash permiten una verificación eficaz y segura del contenido de grandes estructuras de datos.

¿Cómo utilizamos un Merkle Tree para proporcionar una prueba de reservas?

Guardamos el valor hash del activo de la cuenta de cada usuario como un nodo hoja en el árbol de Merkle. A continuación, empleamos la tecnología zk-SNARK para confirmar que tenemos todos los activos de los usuarios. Durante todo este proceso, no se revela ningún dato sobre los activos. Los pasos de la verificación son los siguientes:

1. zk-SNARK ayuda a comprobar que el saldo total de los activos de los usuarios se almacena como nodos hoja en el Árbol de Merkle (es decir, el saldo de la cuenta del usuario). Para cada nodo hoja, confirmamos los siguientes puntos:

a. La cantidad total de activos gestionados por la plataforma incluye el saldo total de activos de todos los usuarios.

b. El saldo neto de cada usuario es mayor o igual a cero.

c. El cambio de los activos de cualquier usuario provocará la alteración del valor hash de la raíz Merkle.

2. Verificación por el usuario: Los usuarios pueden verificar la autenticidad de la prueba verificando el valor hash de la raíz Merkle mediante zk-SNARK. La tecnología nos permite completar la auditoría del 100% de la reserva de forma eficiente y segura, evitando al mismo tiempo los riesgos de filtración de secretos comerciales o de privacidad, lo que contribuirá a cumplir nuestro compromiso de realizar operaciones transparentes y a aumentar la confianza de los clientes.

¿Qué son los zk-SNARK?

zk-SNARK, siglas de Zero-Knowledge Succinct Non-Interactive Argument of Knowledge (argumento de conocimiento sucinto no interactivo cero), es una herramienta innovadora basada en la criptografía. Utilizando algoritmos matemáticos avanzados, puede validar eficazmente el importe de la reserva sin revelar detalles específicos de los activos. zk-SNARK no sólo facilita la verificación rápida de los activos, sino que también elimina los riesgos de violación de la privacidad. Debido a estas ventajas, junto con su naturaleza no interactiva y su gran escalabilidad, encuentra amplias aplicaciones en áreas como la verificación de transacciones en cadena, la protección de la privacidad de los datos y la autenticación de identidades.

Proceso de verificación.

1. Instalar el programa y descargar los datos:"

1)Descargar el programa de verificación:"

En primer lugar, descarga el programa de verificación a través del enlace proporcionado o accede a GitHub para descargar el programa de verificación. A continuación, cámbiale el nombre a main.

Descarga local

Mac OS

Descarga local

Linux

Descarga local

Windows

2)Descarga los datos necesarios:

Acceda a la Página de Auditoría y localice el lote que necesita verificar. Haga clic en [Descargar Merkle Tree] y [Descargar configuración de usuario] para descargar los datos.

Descomprima el archivo comprimido zkmerkle_cex_xxx.tar.gz, coloque el programa main dentro de esta carpeta y coloque el archivo user_config.json dentro del configcarpeta.

La carpeta del programa es ahora

zkmerkle_cex_xxx

Config

cex_config.json

user_config.json

proof.csv

zkpor864.vk.save

main

2. Verificación de activos:

Desde cmd o terminal, utilice el comando cd para navegar hasta la carpeta descargada, como cd ~/Downloads/zkmerkle_cex_xxx.

(Antes de ejecutar el programa, es posible que tenga que ejecutar chmod 777 main para conceder permisos o establecer elementos de seguridad).

Ejecute el siguiente comando para iniciar la verificación.

./main verify cex

Si la verificación se realiza correctamente, aparecerá el mensaje .

All proofs verify passed!!!

Para obtener documentación técnica detallada y principios de verificación, consulte el proyecto de código abierto GitHub.

Implementación del PoR de Gate.io

Tiempo de la auditoría	Empresa de auditoría	Auditor	Repositorios	Informe de auditoría
January 3, 2024	HACKEN	Luciano Ciattaglia、Sofiane Akermoun、Nino Lipartiia、Bartosz Barwikowski	https://github.com/gateio/proof-of-reserves	Gate.io PoR Implementation

Tiempo de la auditoría

Empresa de auditoría

Auditor

Repositorios

Informe de auditoría

January 3, 2024

HACKEN

Luciano Ciattaglia、Sofiane Akermoun、Nino Lipartiia、Bartosz Barwikowski

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

Gate.io PoR Implementation

100% Prueba de reserva